cl-banner

CoCo 2017 Participant: ConCon 1.5

Thomas Sternagel, Christian Sternagel, Aart Middeldorp

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

Abstract

We describe the features of ConCon, a confluence checker for conditional rewrite systems, which participated in the Interna-tional Confluence Competition 2017.

 

  PDF

BibTeX 

@inproceedings{TSCSAM-IWC17,
author = "Thomas Sternagel and Christian Sternagel and Aart Middeldorp",
title = "{CoCo} 2017 Participant: {ConCon}",
booktitle = "Proceedings of the 6th International Workshop on Confluence",
pages = "75",
year = 2017
}
Nach oben scrollen