conf.researchr.org / Yuta Kimura
Not registered as user yet
Name:Yuta Kimura
Contributions
FSCD 2017 | Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track |
Not registered as user yet
Contributions
FSCD 2017 | Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track |