Publications - Variant Narrowing & Narrowing in Maude

2012

Santiago Escobar, Ralf Sasse, José Meseguer.
Folding variant narrowing and optimal variant termination.
The Journal of Logic and Algebraic Programming, Volume 81, Issues 7-8, pages 898-928, 2012.
© Elsevier
Available: Preliminary version DOI link

2011

Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer and Carolyn Talcott.
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (system description)
In proceedings of 22nd Rewriting Techniques and Applications (RTA'11).
© LIPIcs-Leibniz International Proceedings in Informatics
Available: DOI

2010

Santiago Escobar, José Meseguer, Ralf Sasse.
Folding Variant Narrowing and Optimal Variant Termination
In proceedings of 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010),
LNCS 6381, pages 52-68. 2010.
© Springer-Verlag
Available: PDF DOI

2009

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Pat Lincoln, Narciso Marti-Oliet, José Meseguer and Carolyn Talcott.
Unification and Narrowing in Maude 2.4 (system description)
In proceedings of 20th International Conference on Rewriting Techniques and Applications (RTA'09), LNCS 5595, pages 380-390, 2009.
© Springer-Verlag
Available: DOI PDF

2008

Santiago Escobar, José Meseguer, Ralf Sasse.
Effectively Checking or Disproving the Finite Variant Property
In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
LNCS 5117, pages 79-93. 2008.
© Springer-Verlag
Available: DOI PDF

Santiago Escobar, José Meseguer, Ralf Sasse.
Equational Unification by Variant Narrowing
In proceedings of 22nd International Workshop on Unification,
short paper, 2008

Santiago Escobar, José Meseguer, Ralf Sasse.
Variant Narrowing and Equational Unification
In proceedings of 7th International Workshop on Rewriting Logic and its Applications (WRLA08),
Electronic Notes in Theoretical Computer Science, volume 238, issue 3, pages 103-119, 2009
© Elsevier
Available: DOI PDF