Cristea, Horatiu (ed.); Martí-Oliet, Narciso (ed.) Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. (English) Zbl 1273.68024 Electronic Notes in Theoretical Computer Science 147, No. 1. Amsterdam: Elsevier. 162 p., electronic only (2006). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{H. Cristea} (ed.) and \textit{N. Martí-Oliet} (ed.), Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier (2006; Zbl 1273.68024) Full Text: Link
Martí-Oliet, N. (ed.) Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. (English) Zbl 1271.68050 Electronic Notes in Theoretical Computer Science 117. Amsterdam: Elsevier. 442 p., electronic only (2005). MSC: 68-06 68Q42 68Q60 00B25 PDFBibTeX XMLCite \textit{N. Martí-Oliet} (ed.), Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004. Amsterdam: Elsevier (2005; Zbl 1271.68050) Full Text: Link