Walther, Christoph

6 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

IJCAI 1993 Combining Induction Axioms by Machine Christoph Walther

AAAI 1984 A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution Christoph Walther

IJCAI 1983 A Many-Sorted Calculus Based on Resolution and Paramodulation Christoph Walther

IJCAI 1981 The Markgraf Karl Refutation Procedure Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther