Christian Pape

	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

Coauthor Index

1	Bernhard Beckert	[1]
2	Reiner Hähnle	[2] [3]
3	Peter Schmitt	[4]

Colors in the list of coauthors