Confluence Competition 2018 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Takahito Aoto 0001' in GoogleThis author has not been identified. Look up 'Makoto Hamana' in GoogleThis author has not been identified. Look up 'Nao Hirokawa' in GoogleThis author has not been identified. It may be one of the following persons:

Aart Middeldorp

Look up 'Aart Middeldorp' in GoogleThis author has not been identified. Look up 'Julian Nagele' in GoogleThis author has not been identified. Look up 'Naoki Nishida 0001' in GoogleThis author has not been identified. Look up 'Kiraku Shintani' in GoogleThis author has not been identified. Look up 'Harald Zankl' in Google

runs on WebDSL