Christoph Walther


Christoph Walther
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]

*