Christoph Walther
5 books in the database
Books
Christoph Walther
A many-sorted calculus based on resolution and paramodulation
Christoph Walther · 2014
Christoph Walther
Semantik und Programmverifikation
Christoph Walther · 2012
Christoph Walther
Semantik und Programmverifikation
Christoph Walther · 2001
Christoph Walther
Automatisierung von Terminierungsbeweisen
Christoph Walther · 1991
Christoph Walther
Automatisierung Von Terminierungsbeweisen
Christoph Walther · 1991
Co-authored books and collections
Books that list Christoph Walther among their authors but not as the lead author: co-written works, collections and compilations.
