Tsubasa Sakata

According to our database, Tsubasa Sakata authored at least 1 paper in 2011.

Collaborative distances:

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

2011

On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs.

Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe

Proceedings of the Functional and Constraint Logic Programming, 2011