Bernd Löchner

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