Escobar, Santiago; Meseguer, José; Thati, Prasanna Narrowing and rewriting logic: from foundations to applications. (English) Zbl 1279.68205 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 5-33 (2007). MSC: 68Q60 03B70 68Q42 PDF BibTeX XML Cite \textit{S. Escobar} et al., Electron. Notes Theor. Comput. Sci. 177, 5--33 (2007; Zbl 1279.68205) Full Text: DOI
Escobar, Santiago; Meseguer, José; Thati, Prasanna Natural rewriting for general term rewriting systems. (English) Zbl 1134.68380 Etalle, Sandro (ed.), Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26655-6/pbk). Lecture Notes in Computer Science 3573, 101-116 (2005). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Escobar} et al., Lect. Notes Comput. Sci. 3573, 101--116 (2005; Zbl 1134.68380) Full Text: DOI
Escobar, Santiago; Meseguer, José; Thati, Prasanna Natural narrowing for general term rewriting systems. (English) Zbl 1078.68655 Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 279-293 (2005). MSC: 68Q42 68T15 PDF BibTeX XML Cite \textit{S. Escobar} et al., Lect. Notes Comput. Sci. 3467, 279--293 (2005; Zbl 1078.68655) Full Text: DOI