Confluence Competition 2018
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald ZanklProceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Leibniz International Proceedings in Informatics 108, pp. 32:1 – 32:5, 2018.
Abstract
We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically.
BibTeX
@inproceedings{AHHMNNSZ-FSCD18,
author = "Takahito Aoto and Makoto Hamana and Nao Hirokawa and
Aart Middeldorp and Julian Nagele and Naoki Nishida and
Kiraku Shintani and Harald Zankl",
title = "Confluence Competition 2018",
booktitle = "Proceedings of the 3rd International Conference on Formal
Structures for Computation and Deduction",
editor = "H{\'e}l{\`e}ne Kirchner",
series = "Leibniz International Proceedings in Informatics"
volume = 108,
pages = "32:1--32:5",
year = 2018,
doi = "10.4230/LIPIcs.FSCD.2018.32"
}