| |
| 1995 | ||
|---|---|---|
| 2 | Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda: Formalization of Planar Graphs. TPHOLs 1995: 369-384 | |
| 1994 | ||
| 1 | Masami Hagiya, Yozo Toda: On Implicit Arguments. Logic, Language and Computation 1994: 10-30 | |
| 1 | Masami Hagiya | [1] [2] |
| 2 | Shin-ya Nishizaki | [2] |
| 3 | Mitsuharu Yamamoto | [2] |