Arnim Buch

According to our database, Arnim Buch authored at least 4 papers between 1996 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Substance, People, and Tools - Knowledge Management at sd&m.

Arnim Buch, Bernhard Humm

Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005

1997

WALDMEISTER - High-Performance Equational Deduction.

Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner

J. Autom. Reason., 1997

1996

On Gaining Efficiency in Completion-Based Theorem Proving.

Thomas Hillenbrand, Arnim Buch, Roland Fettig

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

WALDMEISTER: High Performance Equational Theorem Proving.

Arnim Buch, Thomas Hillenbrand, Roland Fettig

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996