Kazumasa Uchida

According to our database, Kazumasa Uchida authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams.

Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014