cl-banner

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.

Abstract

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

 

  PDF

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