Author of the publication

Confluence Competition 2018.

, , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Shintani, Kiraku
add a person with the name Shintani, Kiraku
 

Other publications of authors with the same name

Confluence Competition 2018., , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Confluence Competition 2019., , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 25-40. Springer, (2019)CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems., and . CADE, volume 9195 of Lecture Notes in Computer Science, page 127-136. Springer, (2015)Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs., , , and . CPP, page 147-161. ACM, (2024)Compositional Confluence Criteria., and . FSCD, volume 228 of LIPIcs, page 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)