Tomoya Ueyama

According to our database, Tomoya Ueyama authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers.

Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017