Confluence Competition 2018

Authors :: Aoto, Takahito
Hamana, Makoto
Hirokawa, Nao
Middeldorp, Aart
Nagele, Julian
Nishida, Naoki
Shintani, Kiraku
Zankl, Harald
Source :: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). 108:32:1-32:5
Publication Year :: 2018
Publisher :: Schloss Dagstuhl, 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.

Subjects :: 000 Computer science, knowledge, general works
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
rewrite systems
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Computer Science
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
Confluence
competition

Language :: English
ISSN :: 18688969
Volume :: 108
Database :: OpenAIRE
Journal :: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Accession number :: edsair.doi.dedup.....38d43a7bd8a76df5a150697108e4dde7

Tools