Takahito Aoto 0001, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida 0001, Kiraku Shintani, Harald Zankl. Confluence Competition 2018. In Hélène Kirchner, editor, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. Volume 108 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{0001HHMN0SZ18,
title = {Confluence Competition 2018},
author = {Takahito Aoto 0001 and Makoto Hamana and Nao Hirokawa and Aart Middeldorp and Julian Nagele and Naoki Nishida 0001 and Kiraku Shintani and Harald Zankl},
year = {2018},
doi = {10.4230/LIPIcs.FSCD.2018.32},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.32},
researchr = {https://researchr.org/publication/0001HHMN0SZ18},
cites = {0},
citedby = {0},
booktitle = {3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK},
editor = {Hélène Kirchner},
volume = {108},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-077-4},
}