cl-banner

CoCo 2017 Participant: CeTA 2.31

Julian Nagele, Christian Sternagel, Thomas Sternagel

Proceedings of the 6th International Workshop on Confluence (IWC 2017),   pp. 72, 2017.

Abstract

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

 

  PDF

BibTeX 

@inproceedings{JNCSTS-IWC17,
author = "Julian Nagele and Christian Sternagel and Thomas Sternagel",
title = "{CoCo} 2017 Participant: {CeTA} 2.31",
booktitle = "Proceedings of the 6th International Workshop on Confluence",
pages = "72",
year = 2017
}
Nach oben scrollen