cl-banner

CoCo 2016 Participant: CeTA 2.28

Julian Nagele, Christian Sternagel, and Thomas Sternagel

Proceedings 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.

 

  PDF

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