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