CeTA – Certifying Termination and Complexity Proofs in 2016

Sebastiaan J.C. Joosten, René Thiemann, and Akihisa Yamada
Proceedings of the 15th International Workshop on Termination (WST 2016),   pp. 20:1, 2016.

abstract   BibTeX   PDF