Bernd Löchner

Publication Activity (10 Years)

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

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Bernd Löchner
Things to Know when Implementing KBO. J. Autom. Reason. 36 (4) (2006)
Bernd Löchner
Things to Know When Implementing Lpo. Int. J. Artif. Intell. Tools 15 (1) (2006)
Aaron Stump, Bernd Löchner
Knuth-Bendix completion of theories of commuting group endomorphisms. Inf. Process. Lett. 98 (5) (2006)
Bernd Löchner
A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting. IJCAR (2004)
Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner
On using ground joinable equations in equational theorem proving. J. Symb. Comput. 36 (1-2) (2003)
Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
The New WALDMEISTER Loop at Work. CADE (2003)
Thomas Hillenbrand, Bernd Löchner
The Next W ALDMEISTER Loop. CADE (2002)
Bernd Löchner, Thomas Hillenbrand
A phytography of WALDMEISTER. AI Commun. 15 (2-3) (2002)
Jürgen Avenhaus, Bernd Löchner
CCE: Testing Ground Joinability. IJCAR (2001)
Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner
System Description: Waldmeister - Improvements in Performance and Ease of Use. CADE (1999)
Jörg Denzinger, Bernd Löchner, Sebastian Scheffler
Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java. Java-Informations-Tage (1998)
Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner
WALDMEISTER - High-Performance Equational Deduction. J. Autom. Reason. 18 (2) (1997)
Roland Fettig, Bernd Löchner
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. RTA (1996)

Bernd Löchner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Bernd Löchner