Thomas Kolbe

	2000
8		Christoph Walther, Thomas Kolbe: Proving theorems by reuse. Artif. Intell. 116(1-2): 17-66 (2000)
7		Christoph Walther, Thomas Kolbe: On Terminating Lemma Speculations. Inf. Comput. 162(1-2): 96-116 (2000)
	1997
6		Thomas Kolbe, Jürgen Brauburger: Plagiator - A Learning Prover. CADE 1997: 256-259
5		Thomas Kolbe, Sabine Glesner: Many-Sorted Logic in a Learning Theorem Prover. KI 1997: 75-86
	1996
4		Thomas Kolbe, Christoph Walther: Termination of Theorem Proving by Reuse. CADE 1996: 106-120
	1995
3		Thomas Kolbe, Christoph Walther: Patching Proofs for Reuse (Extended Abstract). ECML 1995: 303-306
2		Thomas Kolbe, Christoph Walther: Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. IJCAI 1995: 190-195
	1994
1		Thomas Kolbe, Christoph Walther: Reusing Proofs. ECAI 1994: 80-84

Coauthor Index

1	Jürgen Brauburger	[6]
2	Sabine Glesner	[5]
3	Christoph Walther	[1] [2] [3] [4] [7] [8]

Colors in the list of coauthors