|
Search the dblp DataBase
Christian Pape:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christian Pape, Reiner Hähnle
Restart Tableaux with Selection Function. [Citation Graph (0, 0)][DBLP] Kurt Gödel Colloquium, 1997, pp:219-232 [Conf]
- Christian Pape, Peter Schmitt
Interaktive Visualisierungen in der Lehre der Theoretischen Informatik. [Citation Graph (0, 0)][DBLP] Informatik und Ausbildung, 1998, pp:102-111 [Conf]
- Bernhard Beckert, Christian Pape
Incremental Theory Reasoning Methods for Semantic Tableaux. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1996, pp:93-109 [Conf]
- Reiner Hähnle, Christian Pape
Ordered Tableaux: Extensions and Applications. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1997, pp:173-187 [Conf]
Search in 0.001secs, Finished in 0.001secs
|