Christoph Walther (walther-c)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Kolbe, Thomas and Walther, Christoph. 1995. “Second-Order Matching Modulo Evaluation – A Technique for Reusing Proofs.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 190–195. San Francisco, California: Morgan Kaufmann Publishers.
Kolbe, Thomas and Walther, Christoph. 1998. “Proof Analysis, Generalization, and Reuse.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 189–221. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Walther, Christoph. 1985. “A Mechanical Solution of Schubert’s Steamroller by Many-Sorted Resolution.” Artificial Intelligence 26(2): 217–224.
Walther, Christoph. 1994a. “Mathematical Induction.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 127–228. Oxford: Oxford University Press.
Walther, Christoph. 1994b. “On Proving the Termination of Algorithms by Machine.” Artificial Intelligence 71(1): 101–157.