Publications - Termination of Narrowing
2010
-
-
María Alpuente,
Santiago Escobar,
José Iborra.
Modular Termination of Basic Narrowing and Equational Unification.
Logic Journal of the IGPL,
Volume 19, Issue 6
pages 731-762. 2010.
© Oxford Journals
Available:
DOI link
Preliminary version
2009
-
-
María Alpuente,
Santiago Escobar,
José Iborra.
Termination of Narrowing Revisited
Theoretical Computer Science,
Volume 410, Issue 46, 1 November 2009, Pages 4608-4625.
Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi.
© Elsevier
Available:
DOI link
Preliminary version
2008
-
-
María Alpuente,
Santiago Escobar,
José Iborra.
Termination of Narrowing using Dependency Pairs
In proceedings of
24th International Conference on Logic Programming (ICLP 2008),
LNCS 5366, pages 317-331, 2008.
© Springer-Verlag
Available:
DOI
PDF
-
-
María Alpuente,
Santiago Escobar,
José Iborra.
Modular Termination of Basic Narrowing
In proceedings of
19th International Conference on Rewriting Techniques and Applications (RTA 2008),
LNCS 5117, pages 1-16. 2008.
© Springer-Verlag
Available:
DOI
PDF
Last modified: Wed Feb 22 17:25:16 CET 2012