Shuzo Takahashi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1991

3 David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991)

1989

2 Shuzo Takahashi: Monotone Inductive Definitions in a Constructive Theory of Functions and Classes. Ann. Pure Appl. Logic 42(3): 255-297 (1989)

1 Patrick Suppes, Shuzo Takahashi: An Interactive Calculus Theorem-Prover for Continuity Properties. J. Symb. Comput. 7(6): 573-590 (1989)

	1991
3		David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991)
	1989
2		Shuzo Takahashi: Monotone Inductive Definitions in a Constructive Theory of Functions and Classes. Ann. Pure Appl. Logic 42(3): 255-297 (1989)
1		Patrick Suppes, Shuzo Takahashi: An Interactive Calculus Theorem-Prover for Continuity Properties. J. Symb. Comput. 7(6): 573-590 (1989)

Coauthor Index

1 David C. Luckham [3]

2 Sriram Sankar [3]

3 Patrick Suppes [1]

Colors in the list of coauthors