| |
| 2000 | ||
|---|---|---|
| 8 | EE | 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 | |
| 1 | Jürgen Brauburger | [6] |
| 2 | Sabine Glesner | [5] |
| 3 | Christoph Walther | [1] [2] [3] [4] [7] [8] |