Kolbe, Thomas

2 publications

ECML-PKDD 1995 Patching Proofs for Reuse (Extended Abstract) Thomas Kolbe, Christoph Walther

IJCAI 1995 Second-Order Matching Modulo Evaluation: A Technique for Reusing Proofs Thomas Kolbe, Christoph Walther