Takaki Suzuki

According to our database, Takaki Suzuki authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

2016

Critical Pair Analysis in Nominal Rewriting.

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

Confluence of Orthogonal Nominal Rewriting Systems Revisited.

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015