×

Found 6 Documents (Results 1–6)

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

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software