%0 Conference Paper %1 conf/rta/0001HHMN0SZ18 %A Aoto, Takahito %A Hamana, Makoto %A Hirokawa, Nao %A Middeldorp, Aart %A Nagele, Julian %A Nishida, Naoki %A Shintani, Kiraku %A Zankl, Harald %B FSCD %D 2018 %E Kirchner, Hélène %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 32:1-32:5 %T Confluence Competition 2018. %U http://dblp.uni-trier.de/db/conf/rta/fscd2018.html#0001HHMN0SZ18 %V 108 %@ 978-3-95977-077-4

@inproceedings{conf/rta/0001HHMN0SZ18, added-at = {2019-10-19T00:00:00.000+0200}, author = {Aoto, Takahito and Hamana, Makoto and Hirokawa, Nao and Middeldorp, Aart and Nagele, Julian and Nishida, Naoki and Shintani, Kiraku and Zankl, Harald}, biburl = {https://www.bibsonomy.org/bibtex/265a603c9677c74b9696877dea6d34663/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2018}, editor = {Kirchner, Hélène}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2018.32}, interhash = {8e4bd08485cefcbe42cc44db9f6694cb}, intrahash = {65a603c9677c74b9696877dea6d34663}, isbn = {978-3-95977-077-4}, keywords = {dblp}, pages = {32:1-32:5}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {Confluence Competition 2018.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2018.html#0001HHMN0SZ18}, volume = 108, year = 2018 }