
Search the dblp DataBase
Thomas Kolbe:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Thomas Kolbe, Jürgen Brauburger
Plagiator  A Learning Prover. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:256259 [Conf]
 Thomas Kolbe, Christoph Walther
Termination of Theorem Proving by Reuse. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:106120 [Conf]
 Thomas Kolbe, Christoph Walther
Reusing Proofs. [Citation Graph (0, 0)][DBLP] ECAI, 1994, pp:8084 [Conf]
 Thomas Kolbe, Christoph Walther
Patching Proofs for Reuse (Extended Abstract). [Citation Graph (0, 0)][DBLP] ECML, 1995, pp:303306 [Conf]
 Thomas Kolbe, Christoph Walther
SecondOrder Matching modulo Evaluation: A Technique for Reusing Proofs. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:190195 [Conf]
 Thomas Kolbe, Sabine Glesner
ManySorted Logic in a Learning Theorem Prover. [Citation Graph (0, 0)][DBLP] KI, 1997, pp:7586 [Conf]
 Christoph Walther, Thomas Kolbe
Proving theorems by reuse. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:116, n:12, pp:1766 [Journal]
 Christoph Walther, Thomas Kolbe
On Terminating Lemma Speculations. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:162, n:12, pp:96116 [Journal]
Search in 0.003secs, Finished in 0.003secs
