Yozo Toda

According to our database, Yozo Toda authored at least 2 papers between 1994 and 1995.

Collaborative distances:

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

1995

Formalization of Planar Graphs.

Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

On Implicit Arguments.

Masami Hagiya, Yozo Toda

Proceedings of the Logic, 1994