Concepedia

Arnim Buch

AB

2

Publications

70

Citations

2

H-Index

1996

Active since

Affiliations

University of Kaiserslautern(Current)

Arnim Buch is an author at University of Kaiserslautern.

Publications per year

1996–1997

2

Publications

2

WALDMEISTER - High-Performance Equational Deduction

Thomas Hillenbrand, Arnim Buch, Roland Vogt et al. · Journal of Automated Reasoning · 1997 · 56 citations

WALDMEISTER : Development of a High Performance Completion-Based Theorem Prover

Arnim Buch, Thomas Hillenbrand · 1996 · 14 citations · Full text

Rows per page

1–2 of 2