Walther, Christoph
Walther, Christoph 1950-....
Christoph Walther German computer scientist (born 1950)
VIAF ID: 100386491 ( Personal )
Permalink: http://viaf.org/viaf/100386491
Preferred Forms
- 100 0 _ ‡a Christoph Walther ‡c German computer scientist (born 1950)
-
-
- 100 1 _ ‡a Walther, Christoph
- 100 1 _ ‡a Walther, Christoph
-
- 100 1 _ ‡a Walther, Christoph
- 100 1 _ ‡a Walther, Christoph ‡d 1950-
- 100 1 _ ‡a Walther, Christoph ‡d 1950-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automated termination proofs | |
Automatisierung von Terminierungsbeweisen | |
Bericht von den Wittembergischen "tomis" der Bücher des ehrnwirdigen Herrn "doctoris Martini Lutheri" wider Matthes "Flacium Illyricum" | |
classification of unification problems in many sorted theories | |
digest of argument bounded algorithms | |
Elimination of redundant links in extended connection graphs | |
many-sorted calculus based on resolution and paramodulation | |
Markgraf Karl refutation procedure PLL - a first-order language for an automated theorem prover | |
mehrsortiger Resolutionskalkül mit Paramodulation | |
Schubert's steamroller a case study in many-sorted resolution | |
Das Seebuch | |
Semantik und Programmverifikation | |
Sigebert von Gembloux (1112), das Leben des Heiligen Wibert : "Vita", "Elevatio" und "Miracula S. Wicberti", Liturgische Zeugnisse | |
Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday | |
Zentrale Gedächtnislehren des Spätmittelalters : eine Auswahl von Traktaten mit Übersetzung und Kommentar |