2026-07-22T04:52:58Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9202 2024-03-06T10:43:36Z ddc:004 open_access

Confluence Competition 2018 Aoto, Takahito Hamana, Makoto Hirokawa, Nao Middeldorp, Aart Nagele, Julian Nishida, Naoki Shintani, Kiraku Zankl, Harald Confluence competition rewrite systems 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Takahito Aoto and Makoto Hamana and Nao Hirokawa and Aart Middeldorp and Julian Nagele and Naoki Nishida and Kiraku Shintani and Harald Zankl 2018 Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2018.32 urn:nbn:de:0030-drops-92023 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.32 eng https://creativecommons.org/licenses/by/3.0/legalcode