Christian Pape

According to our database, Christian Pape authored at least 5 papers between 1996 and 1999.

Collaborative distances:

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

1999

Animation strukturierter Beweise in der universitären Ausbildung.

Christian Pape

PhD thesis, 1999

1998

Interaktive Visualisierungen in der Lehre der Theoretischen Informatik.

Christian Pape, Peter Schmitt

Proceedings of the Informatik und Ausbildung, GI-Fachtagung 98, 1998

1997

Ordered Tableaux: Extensions and Applications.

Reiner Hähnle, Christian Pape

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Restart Tableaux with Selection Function.

Christian Pape, Reiner Hähnle

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Incremental Theory Reasoning Methods for Semantic Tableaux.

Bernhard Beckert, Christian Pape

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996