Satoru Takasu

A Logical Basis for Programming Methodology

Satoru Takasu, Sukemitsu Kawabata, 1981, Theor. Comput. Sci..

Logic, Language and Computation

Satoru Takasu, Masami Hagiya, Neil D. Jones, 1994, Lecture Notes in Computer Science.

Logic, Language and Computation, Festschrift in Honor of Satoru Takasu

Satoru Takasu, 1994, Logic, Language and Computation.

Programming with Mathematical Thinking

Satoru Takasu, Takako Nakahara, 1983, IFIP Congress.

Logic and Computation (Panel)

Satoru Takasu, 1986, IFIP Congress.

Proceedings of the International Conference on Mathematical Studies of Information Processing

Satoru Takasu, Edward K. Blum, Manfred Paul, 1978 .

A Logical Basis for Programming Methodology (II) (Mathematical Studies of Information Processing)

Satoru Takasu, 1982 .