cl-banner

CoCo Participant: ConCon

Thomas Sternagel and Aart Middeldorp

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

Abstract

We describe the features of ConCon 1.3, a fully automatic confluence checker for oriented first-order conditional term rewrite systems that participated in the International Confluence Competition 2015.

 

  PDF

BibTeX 

@inproceedings{TSAM-IWC15,
author = "Thomas Sternagel and Aart Middeldorp",
title = "{CoCo} Participant: {ConCon}",
booktitle = "Proceedings of the 4th International Workshop on Confluence",
pages = "44",
year = 2015
}
Nach oben scrollen