LIPIcs.FSCD.2018.32.pdf
- Filesize: 1.01 MB
- 5 pages
Document
Confluence Competition 2018
Authors
Takahito Aoto 
,
Makoto Hamana ,
Nao Hirokawa ,
Aart Middeldorp ,
Julian Nagele ,
Naoki Nishida ,
Kiraku Shintani ,
Harald Zankl
-
Part of:
Volume:
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Formal Structures for Computation and Deduction (FSCD) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2018-07-04
File
Document Identifiers
Author Details
- School of Electronic Engineering and Computer Science, Queen Mary University of London, UK
Cite AsGet BibTex
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl. Confluence Competition 2018. In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 108, pp. 32:1-32:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.FSCD.2018.32
https://doi.org/10.4230/LIPIcs.FSCD.2018.32
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.
Subject Classification
ACM Subject Classification
- Theory of computation → Rewrite systems
- Theory of computation → Equational logic and rewriting
- Theory of computation → Automated reasoning
Keywords
- Confluence
- competition
- rewrite systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- T. Aoto, N. Hirokawa, J. Nagele, N. Nishida, and H. Zankl. Confluence Competition 2015. In Proc. 25th CADE, volume 9195 of LNAI, pages 101-104, 2015. URL: http://dx.doi.org/10.1007/978-3-319-21401-6_5.
-
N. Hirokawa, J. Nagele, and A. Middeldorp. Cops and CoCoWeb - Infrastructure for confluence tools. In Proc. 9th IJCAR, LNAI, 2018. To appear.
- A. Stump, G. Sutcliffe, and C. Tinelli. StarExec: A cross-community infrastructure for logic solving. In Proc. 7th IJCAR, volume 8562 of LNAI, pages 367-373, 2014. URL: http://dx.doi.org/10.1007/978-3-319-08587-6_28.