Thomas Kolbe

Publication Activity (10 Years)

Years Active: 1994-2000
Publications (10 Years): 0

Publications

Christoph Walther, Thomas Kolbe
Proving theorems by reuse. Artif. Intell. 116 (1-2) (2000)
Christoph Walther, Thomas Kolbe
On Terminating Lemma Speculations. Inf. Comput. 162 (1-2) (2000)
Thomas Kolbe, Jürgen Brauburger
Plagiator - A Learning Prover. CADE (1997)
Thomas Kolbe, Sabine Glesner
Many-Sorted Logic in a Learning Theorem Prover. KI (1997)
Thomas Kolbe, Christoph Walther
Termination of Theorem Proving by Reuse. CADE (1996)
Thomas Kolbe, Christoph Walther
Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. IJCAI (1995)
Thomas Kolbe, Christoph Walther
Patching Proofs for Reuse (Extended Abstract). ECML (1995)
Thomas Kolbe, Christoph Walther
Reusing Proofs. ECAI (1994)