Christian Pape

Publication Activity (10 Years)

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

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Christian Pape, Peter Schmitt
Interaktive Visualisierungen in der Lehre der Theoretischen Informatik. Informatik und Ausbildung (1998)
Reiner Hähnle, Christian Pape
Ordered Tableaux: Extensions and Applications. TABLEAUX (1997)
Christian Pape, Reiner Hähnle
Restart Tableaux with Selection Function. Kurt Gödel Colloquium (1997)
Bernhard Beckert, Christian Pape
Incremental Theory Reasoning Methods for Semantic Tableaux. TABLEAUX (1996)