CoCo 2016 Participant: CeTA 2.28
Julian Nagele, Christian Sternagel, and Thomas SternagelProceedings of the 5th International Workshop on Confluence (IWC 2016), pp. 78, 2016.
Abstract
We describe the features of CeTA, a certifier for confluence proofs that participated in the International Confluence Competition 2016.
BibTeX
@inproceedings{JNCSTS-IWC16, author = "Julian Nagele and Christian Sternagel and Thomas Sternagel", title = "{CoCo} 2016 Participant: {CeTA} 2.28", booktitle = "Proceedings of the 5th International Workshop on Confluence", editor = "Beniamino Accattoli and Ashish Tiwari", pages = 78, year = 2016 }