Makishi Yanagisawa

According to our database1, Makishi Yanagisawa authored at least 1 paper in 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings.
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014


  Loading...