Satoru Takasu

Publication Activity (10 Years)

Years Active: 1981-1986
Publications (10 Years): 0

Publications

Satoru Takasu
Logic and Computation (Panel). IFIP Congress (1986)
Satoru Takasu, Takako Nakahara
Programming with Mathematical Thinking. IFIP Congress (1983)
Satoru Takasu, Sukemitsu Kawabata
A Logical Basis for Programming Methodology. Theor. Comput. Sci. 16 (1981)