Christoph Walther

• A many-sorted calculus based on resolution and paramodulation
• Automatisierung von Terminierungsbeweisen
• Semantik und Programmverifikation
• Semantik und Programmverifikation
• Zentrale Gedächtnislehren des Spätmittelalters
• Automatisierung Von Terminierungsbeweisen
• Jakob Fischbacher und die Bayernpartei: biografische Studien 1886 bis 1972
• Mittelniederdeutsches Handwörterbuch
• Mittelniederdeutsches Handwörterbuch
• Register aller bücher und schrifften des ehrnwirdigen herrn doctoris Martini Lutheri, seliger gedechtnis welche in die eilff deudsche teil und in die sieben latinische tomos zu Wittemberg gedruckt sind. Item. Etliche bücher und schrifften welche in den zw
• Versuche zur Darstellung von Butadientelechelen durhch anionische Polymerisation