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
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1115.68079 High.-Order Symb. Comput. 20, No. 1-2, 123-160 (2007). MSC: 68P25 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{P. Thati}, High.-Order Symb. Comput. 20, No. 1--2, 123--160 (2007; Zbl 1115.68079) Full Text: DOI
Thati, Prasanna; Meseguer, José Complete symbolic reachability analysis using back-and-forth narrowing. (English) Zbl 1110.68058 Theor. Comput. Sci. 366, No. 1-2, 163-179 (2006). MSC: 68Q42 PDF BibTeX XML Cite \textit{P. Thati} and \textit{J. Meseguer}, Theor. Comput. Sci. 366, No. 1--2, 163--179 (2006; Zbl 1110.68058) Full Text: DOI
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1272.68194 Martí-Oliet, N. (ed.), Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 117, 153-182 (2005). MSC: 68Q42 68Q60 94A60 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{P. Thati}, Electron. Notes Theor. Comput. Sci. 117, 153--182 (2005; Zbl 1272.68194) Full Text: Link
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
Thati, Prasanna; Meseguer, José Complete symbolic reachability analysis using back-and-forth narrowing. (English) Zbl 1151.68452 Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 379-394 (2005). MSC: 68Q42 PDF BibTeX XML Cite \textit{P. Thati} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 3629, 379--394 (2005; Zbl 1151.68452) 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