CoCo 2017 Participant: ConCon 1.5
Thomas Sternagel, Christian Sternagel, Aart MiddeldorpProceedings 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 International Confluence Competition 2017.
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
}