| |
| 1986 | ||
|---|---|---|
| 4 | Satoru Takasu: Logic and Computation (Panel). IFIP Congress 1986: 397-398 | |
| 1983 | ||
| 3 | Satoru Takasu, Takako Nakahara: Programming with Mathematical Thinking. IFIP Congress 1983: 419-424 | |
| 1981 | ||
| 2 | Satoru Takasu, Sukemitsu Kawabata: A Logical Basis for Programming Methodology. Theor. Comput. Sci. 16: 43-60 (1981) | |
| 1979 | ||
| 1 | Edward K. Blum, Manfred Paul, Satoru Takasu: Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978 Springer 1979 | |
| 1 | Edward K. Blum | [1] |
| 2 | Sukemitsu Kawabata | [2] |
| 3 | Takako Nakahara | [3] |
| 4 | Manfred Paul | [1] |