Shuzo Takahashi

According to our database, Shuzo Takahashi authored at least 3 papers between 1989 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Two-Dimensional Pinpointing: Debugging with Formal Specifications.

David C. Luckham, Sriram Sankar, Shuzo Takahashi

IEEE Softw., 1991

1989

An Interactive Calculus Theorem-Prover for Continuity Properties.

Patrick Suppes, Shuzo Takahashi

J. Symb. Comput., 1989

Monotone Inductive Definitions in a Constructive Theory of Functions and Classes.

Shuzo Takahashi

Ann. Pure Appl. Log., 1989