Christoph Walther

4 papers in the IJCAI proceedings

IJCAI 1995

Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs

with Thomas Kolbe

Details PDF

IJCAI 1993

Combining Induction Axioms by Machine

Details PDF

IJCAI 1983

A Many-Sorted Calculus Based on Resolution and Paramodulation

Details PDF

IJCAI 1981

The Markgraf Karl Refutation Procedure

with Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings