Satoru Takasu

	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

Coauthor Index

1	Edward K. Blum	[1]
2	Sukemitsu Kawabata	[2]
3	Takako Nakahara	[3]
4	Manfred Paul	[1]

Colors in the list of coauthors