Reducing Relative Termination to Dependency Pair Problems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada. Reducing Relative Termination to Dependency Pair Problems. In Amy P. Felty, Aart Middeldorp, editors, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Volume 9195 of Lecture Notes in Computer Science, pages 163-178, Springer, 2015. [doi]

The following publications are possibly variants of this publication:

Goal-Directed and Relative Dependency Pairs for Proving the Termination of NarrowingJosé Iborra, Naoki Nishida, Germán Vidal. LOPSTR 2010: 52-66 [doi]

Termination of Narrowing Using Dependency PairsMaría Alpuente, Santiago Escobar, José Iborra. ICLP 2008: 317-331 [doi]

Relative Termination via Dependency PairsJosé Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002. JAR, 58(3):391-411, 2017. [doi]

runs on WebDSL