Not registered as user yet

Name: Yuta Kimura

All Activities

• Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017