Confluence Competition 2018
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele,
Naoki Nishida, Kiraku Shintani, and Harald Zankl
Proceedings 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 Entry
@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\'el\`ene Kirchner",
series = "Leibniz International Proceedings in Informatics"
volume = 108,
pages = "32:1--32:5",
year = 2018,
doi = "10.4230/LIPIcs.FSCD.2018.32"
}