Alpuente, María; Escobar, Santiago; Iborra, José Modular termination of basic narrowing and equational unification. (English) Zbl 1257.68090 Log. J. IGPL 19, No. 6, 731-762 (2011). Reviewer: Temur Kutsia (Linz) MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Log. J. IGPL 19, No. 6, 731--762 (2011; Zbl 1257.68090) Full Text: DOI
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J. A compact fixpoint semantics for term rewriting systems. (English) Zbl 1209.68285 Theor. Comput. Sci. 411, No. 37, 3348-3371 (2010). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theor. Comput. Sci. 411, No. 37, 3348--3371 (2010; Zbl 1209.68285) Full Text: DOI
Alpuente, María; Escobar, Santiago; Iborra, José Termination of narrowing revisited. (English) Zbl 1187.68271 Theor. Comput. Sci. 410, No. 46, 4608-4625 (2009). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theor. Comput. Sci. 410, No. 46, 4608--4625 (2009; Zbl 1187.68271) Full Text: DOI