Susumu Hayashi

发表

Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, 1996, Electron. Notes Theor. Comput. Sci..

Susumu Hayashi, S. Hayashi, 2007, Fundam. Informaticae.

Susumu Hayashi, Yohji Akama, Stefano Berardi, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

Susumu Hayashi, Ryosuke Sumitomo, 1998, ASIAN.

Susumu Hayashi, 1996, DMTCS.

Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii, 2002, Theor. Comput. Sci..

Susumu Hayashi, Mariko Yasugi, S. Hayashi, 1994, Logic, Language and Computation.

Susumu Hayashi, Yukihide Takayama, S. Hayashi, 1994, Logic, Language and Computation.

Susumu Hayashi, 2002, ALT.

Susumu Hayashi, 2002, Discovery Science.

Minao Kukita, Susumu Hayashi, Kenro Aihara, 2014, DH.

Susumu Hayashi, S. Hayashi, 1994, TYPES.

Susumu Hayashi, 1987, Formal Description of Programming Concepts.

Susumu Hayashi, Kenji Mori, Masami Sato, 2004, UML.

Susumu Hayashi, S. Hayashi, 1994, Inf. Comput..

Susumu Hayashi, Yohji Akama, 2002, CSL.

Susumu Hayashi, S. Hayashi, 1990 .

Susumu Hayashi, Masahiro Nakata, S. Hayashi, 2000, TYPES.

Susumu Hayashi, Thierry Coquand, Stefano Berardi, 2010, Ann. Pure Appl. Log..

Susumu Hayashi, S. Hayashi, 1985 .

Susumu Hayashi, 1981 .

Susumu Hayashi, S. Hayashi, 1990 .

Susumu Hayashi, Masahiro Nakata, 2002 .