Koichi Ohhara

According to our database, Koichi Ohhara authored at least 1 paper in 1997.

Collaborative distances:

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

1997

TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems.

Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997