cl-banner

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

We describe the new features of CeTA, which served as a certifier in the Termination Competition 2016.

 

  PDF

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
}
Nach oben scrollen