Thomas Käufl

Publication Activity (10 Years)

Years Active: 1985-1994
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Thomas Käufl, Stefan Klingenbeck
Tatzelwurm. FTRTFT (1994)
Thomas Käufl
The Program Verifier Tatzelwurm. STACS (1993)
Thomas Käufl
The Prover of the Program Verification System Tatzelwurm. TABLEAUX (1992)
Thomas Käufl, Nicolas Zabel
The Theorem Prover of the Program Verifier Tatzelwurm. CADE (1990)
Thomas Käufl
Reasoning about Systems of Linear Inequalities. CADE (1988)
Thomas Käufl
Reasoning about Theories with a Finite Model. ÖGAI (1987)
Thomas Käufl
Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities. CADE (1986)
Thomas Käufl
The Simplifier of the Program Verifier "Tatzelwurm". ÖGAI (1985)