Yozo Toda

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

Publications

Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
Formalization of Planar Graphs. TPHOLs (1995)
Masami Hagiya, Yozo Toda
On Implicit Arguments. Logic, Language and Computation (1994)