| |
| 1998 | ||
|---|---|---|
| 4 | Christian Pape, Peter Schmitt: Interaktive Visualisierungen in der Lehre der Theoretischen Informatik. Informatik und Ausbildung 1998: 102-111 | |
| 1997 | ||
| 3 | Christian Pape, Reiner Hähnle: Restart Tableaux with Selection Function. Kurt Gödel Colloquium 1997: 219-232 | |
| 2 | Reiner Hähnle, Christian Pape: Ordered Tableaux: Extensions and Applications. TABLEAUX 1997: 173-187 | |
| 1996 | ||
| 1 | Bernhard Beckert, Christian Pape: Incremental Theory Reasoning Methods for Semantic Tableaux. TABLEAUX 1996: 93-109 | |
| 1 | Bernhard Beckert | [1] |
| 2 | Reiner Hähnle | [2] [3] |
| 3 | Peter Schmitt | [4] |