Christoph Walther: German computer scientist (born: 1950) | Biography, Facts, Information, Career, Wiki, Life
peoplepill id: christoph-walther
1 views today
1 views this week
Christoph Walther
German computer scientist

Christoph Walther

Christoph Walther
The basics

Quick Facts

Intro German computer scientist
Is Computer scientist
From Germany
Field Science Technology
Gender male
Birth 9 August 1950
Age 72 years
Star sign Leo
Karlsruhe Institute of Technology
Technische Universität Darmstadt
The details (from wikipedia)


Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology.

Selected publications

On automated program termination analysis

On the VeriFun verification system for functional programs

  • Christoph Walther and Stephan Schweitzer (2002). VeriFun User Guide (PDF) (Technical Report). TU Darmstadt.
  • Christoph Walther and Stephan Schweitzer (2002). The VeriFun Tutorial (PDF) (Technical Report). TU Darmstadt / Programmiermethodik.
  • Christoph Walther and Stephan Schweitzer (2003). "About VeriFun" (PDF). In Franz Baader (ed.). Proc. 19th Conference on Automated Deduction. LNAI. 2741. Springer. pp. 322–327.

On order-sorted resolution

  • Walther, Christoph (1985). "A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution". Artif. Intell. 26 (2): 217–224.

On induction proving

  • Susanne Biundo and Birgit Hummel and Dieter Hutter and Christoph Walther (1986). "The Karlsruhe Induction Theorem Proving System". In J.H. Siekmann (ed.). Proc. 8th CADE. LNAI. 230. Springer. pp. 672–674.
  • Christoph Walther (1992). "Computing Induction Axioms" (PDF). In Andrei Voronkov (ed.). Proc. LPAR. LNAI. 624. Springer. pp. 381–392.
  • Christoph Walther (1993). "Combining Induction Axioms by Machine" (PDF). In Ruzena Bajcsy (ed.). Proc. 13th IJCAI. Morgan Kaufmann. pp. 95–101.
  • Christoph Walther (1994). "Mathematical Induction" (PDF). In Dov M. Gabbay and C.J. Hogger and J.A. Robinson (ed.). Handbook of Logic in Artificial Intelligence and Logic Programming. 2. Oxford University Press. pp. 127–227.
The contents of this page are sourced from Wikipedia article on 17 Aug 2020. The contents are available under the CC BY-SA 4.0 license.
comments so far.
From our partners
Sections Christoph Walther

arrow-left arrow-right instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube pandora tunein iheart itunes