Stefan Klingenbeck

Publication Activity (10 Years)

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

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Reiner Hähnle, Stefan Klingenbeck
A-Ordered Tableaux. J. Log. Comput. 6 (6) (1996)
Stefan Klingenbeck
Generating Finite Counter Examples with Semantic Tableaux. TABLEAUX (1995)
Stefan Klingenbeck, Reiner Hähnle
Semantic Tableaux with Ordering Restrictions. CADE (1994)
Thomas Käufl, Stefan Klingenbeck
Tatzelwurm. FTRTFT (1994)