| Autor: |
Aoto, Takahito, Hamana, Makoto, Hirokawa, Nao, Middeldorp, Aart, Nagele, Julian, Nishida, Naoki, Shintani, Kiraku, Zankl, Harald |
| Jazyk: |
angličtina |
| Rok vydání: |
2018 |
| Předmět: |
|
| Zdroj: |
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). 108:32:1-32:5 |
| ISSN: |
1868-8969 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
