Shuzo Takahashi

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

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