CeTA – Certifying Termination and Complexity Proofs in 2016
Sebastiaan J.C. Joosten, René Thiemann, and Akihisa YamadaProceedings of the 15th International Workshop on Termination (WST 2016), pp. 20:1, 2016.
Abstract
We describe the new features of CeTA, which served as a certifier in the Termination Competition 2016.
BibTeX
@inproceedings{CeTA-WST16,
author = "Sebastiaan J.C. Joosten and Ren{\'e} Thiemann and
Akihisa Yamada",
title = "CeTA -- Certifying Termination and Complexity Proofs in 2016",
booktitle = "Proceedings of the 15th International Workshop on Termination",
pages = "20:1",
year = 2016
}