HOME

TheInfoList



OR:

Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to
automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...
. He is
Professor emeritus ''Emeritus/Emerita'' () is an honorary title granted to someone who retirement, retires from a position of distinction, most commonly an academic faculty position, but is allowed to continue using the previous title, as in "professor emeritus". ...
at
Darmstadt University of Technology Darmstadt () is a city in the States of Germany, state of Hesse in Germany, located in the southern part of the Frankfurt Rhine Main Area, Rhine-Main-Area (Frankfurt Metropolitan Region). Darmstadt has around 160,000 inhabitants, making it the ...
.''Professuren und Gruppenleitungen''
(Section ''Emeriti und Professoren im Ruhestand'') at Darmstadt University Web Site


Selected publications


On

automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...

* * * * * * * * * * *


On automated

termination analysis In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for ''each'' input. This means to determine whether the input program computes a ''total'' function. It is ...

* * * * * *


On the ''VeriFun'' verification system for functional programs

* * * * * * * * * *


On many-sorted unification, resolution and paramodulation

* * * * * * * * *


On induction proving

* * * * * *


References


External links


Christoph Walther's home page
at Darmstadt University
VeriFun System
at Darmstadt University {{DEFAULTSORT:Walther, Christoph 1950 births Living people German computer scientists Technische Universität Darmstadt alumni Karlsruhe Institute of Technology alumni