CoCo Participant: CeTA 2.21

Julian Nagele, Christian Sternagel, Thomas Sternagel, René Thiemann, Sarah Winkler, and Harald Zankl

Proceedings of the 4th International Workshop on Confluence (IWC 2015),   pp. 41, 2015.


We describe the features of CeTA, a certifier for confluence proofs that participated in the International Confluence Competition 2015.




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