文章基本信息

标题：Confluence Competition 2018
作者：Takahito Aoto ; Makoto Hamana ; Nao Hirokawa 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：108
页码：32:1-32:5
DOI：10.4230/LIPIcs.FSCD.2018.32
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Confluence; competition; rewrite systems