Arnim Buch

Publication Activity (10 Years)

Years Active: 1996-2005
Publications (10 Years): 0

Publications

Arnim Buch, Bernhard Humm
Substance, People, and Tools - Knowledge Management at sd&m. Wissensmanagement (LNCS Volume) (2005)
Arnim Buch, Bernhard Humm
Substance, People, and Tools - Knowledge Management at sd&m. Wissensmanagement (2005)
Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner
WALDMEISTER - High-Performance Equational Deduction. J. Autom. Reason. 18 (2) (1997)
Thomas Hillenbrand, Arnim Buch, Roland Fettig
On Gaining Efficiency in Completion-Based Theorem Proving. RTA (1996)
Arnim Buch, Thomas Hillenbrand, Roland Fettig
WALDMEISTER: High Performance Equational Theorem Proving. DISCO (1996)