Satoru Takasu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1986
c2		Satoru Takasu: Logic and Computation (Panel). IFIP Congress 1986: 397-398
	1983
c1		Satoru Takasu, Takako Nakahara: Programming with Mathematical Thinking. IFIP Congress 1983: 419-424
	1981
j1		Satoru Takasu, Sukemitsu Kawabata: A Logical Basis for Programming Methodology. Theor. Comput. Sci. 16: 43-60 (1981)
	1979
e1		Edward K. Blum, Manfred Paul, Satoru Takasu (Eds.): Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Lecture Notes in Computer Science 75, Springer 1979, isbn 3-540-09541-1

Coauthor Index

Last update Mon May 20 10:30:32 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page