Concepedia

Bernd Löchner

BL

Statistics

Publications

5

Citations

151

H-Index

5

Active since

1997

Affiliations

University of Kaiserslautern(Current)

Bernd Löchner is an author at University of Kaiserslautern specializing in computer science, computing, and proof assistants.

Publications per year

1997–2006

5

Publications

5

WALDMEISTER - High-Performance Equational Deduction

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

Education, Mathematics, Algorithms +1

On using ground joinable equations in equational theorem proving

Jürgen Avenhaus, Th. Hillenbrand, Bernd Löchner · Journal of Symbolic Computation · 2003 · 36 citations

Computing, Computer Science, Mathematics +9

A phytography of WALDMEISTER

Bernd Löchner, Thomas Hillenbrand · 2002 · 26 citations

Computing, Computer Science, Data Structures +14

Things to Know when Implementing KBO

Bernd Löchner · Journal of Automated Reasoning · 2006 · 20 citations

Business, Computer Science, Information Systems +2

THINGS TO KNOW WHEN IMPLEMENTING LPO

Bernd Löchner · International Journal of Artificial Intelligence Tools · 2006 · 13 citations

Computing, Computer Science, Algorithms +6

1–5 of 5