Takayasu Ito

发表

Proceedings of the International Workshop on Theory and Practice of Parallel Programming

Akinori Yonezawa, Takayasu Ito, 1994 .

Proceedings of the International Conference on Theoretical Aspects of Computer Software

Albert R. Meyer, Takayasu Ito, 1991 .

Overview of the workshop

Akinori Yonezawa, Takayasu Ito, A. Yonezawa, 1991 .

International Symposia on Theoretical Aspects of Computer Science: TACS '97, TACS ‘94, and TACS ' 91

Takayasu Ito, 1998 .

Theory and Practice of Parallel Programming: Proceedings of the International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994

Akinori Yonezawa, Takayasu Ito, 1995 .

Research Institute for Digital Media and Content, Keio University

Takayasu Ito, Tomoki Numata, Tomoya Takahata, 2006 .

Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)

Takayasu Ito, 2002 .

Proceedings of the US/Japan workshop on Parallel Lisp on Parallel Lisp: languages and systems

Robert H. Halstead, Takayasu Ito, R. Halstead, 1990 .

Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software

Martín Abadi, Takayasu Ito, M. Abadi, 1997 .

The international conference on theoretical aspects of computer science

Albert R. Meyer, Takayasu Ito, 1993 .

Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules

Makoto Tatsuta, Yukiyoshi Kameyama, Ken-etsu Fujita, 1995 .

Parallel Lisp: Languages and Systems

Takayasu Ito, Robert H. Halstead, Takayasu Ito, 1990, Lecture Notes in Computer Science.

A Complete Axiom System of Super-Regular Expressions

Takayasu Ito, Shigeru Ando, Takayasu Ito, 1974, IFIP Congress.