Signature Extensions Preserve Termination – An Alternative Proof via Dependency Pairs

Christian Sternagel and René Thiemann
Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic (CSL 2010), Lecture Notes in Computer Science 6247, pp. 514 – 528, 2010.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-15205-4_39  
© Springer