CoCo Participant: CeTA 2.21
Julian Nagele, Christian Sternagel, Thomas Sternagel, René Thiemann, Sarah Winkler, and Harald ZanklProceedings of the 4th International Workshop on Confluence (IWC 2015), pp. 41, 2015.
Abstract
We describe the features of CeTA, a certifier for confluence proofs that participated in the International Confluence Competition 2015.
BibTeX
@inproceedings{JNCSTSRTSWHZ-IWC15,
author = "Julian Nagele and Christian Sternagel and Thomas Sternagel and
Ren{\'e} Thiemann and Sarah Winkler and Harald Zankl",
title = "{CoCo} Participant: {CeTA} 2.21",
booktitle = "Proceedings of the 4th International Workshop on Confluence",
pages = 41,
year = 2015
}