×

Found 3 Documents (Results 1–3)

Reducing relative termination to dependency pair problems. (English) Zbl 1465.68120

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 163-178 (2015).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Termination of narrowing using dependency pairs. (English) Zbl 1185.68218

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 317-331 (2008).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field