Christoph Walther

No biography available.

Works (4)

Cover of A many-sorted calculus based on resolution and paramodulation

A many-sorted calculus based on resolution and paramodulation

Cover of Zentrale Gedächtnislehren des Spätmittelalters

Zentrale Gedächtnislehren des Spätmittelalters

Cover of Semantik und Programmverifikation

Semantik und Programmverifikation

Cover of Automatisierung von Terminierungsbeweisen

Automatisierung von Terminierungsbeweisen