| 2006 |
|---|
| 13 | EE | Aaron Stump,
Bernd Löchner:
Knuth-Bendix completion of theories of commuting group endomorphisms.
Inf. Process. Lett. 98(5): 195-198 (2006) |
| 12 | EE | Bernd Löchner:
Things to Know When Implementing Lpo.
International Journal on Artificial Intelligence Tools 15(1): 53-80 (2006) |
| 11 | EE | Bernd Löchner:
Things to Know when Implementing KBO.
J. Autom. Reasoning 36(4): 289-310 (2006) |
| 2004 |
|---|
| 10 | EE | Bernd Löchner:
A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting.
IJCAR 2004: 45-59 |
| 2003 |
|---|
| 9 | EE | Jean-Marie Gaillourdet,
Thomas Hillenbrand,
Bernd Löchner,
Hendrik Spies:
The New WALDMEISTER Loop at Work.
CADE 2003: 317-321 |
| 8 | EE | Jürgen Avenhaus,
Thomas Hillenbrand,
Bernd Löchner:
On using ground joinable equations in equational theorem proving.
J. Symb. Comput. 36(1-2): 217-233 (2003) |
| 2002 |
|---|
| 7 | EE | Thomas Hillenbrand,
Bernd Löchner:
The Next W ALDMEISTER Loop.
CADE 2002: 486-500 |
| 6 | EE | Bernd Löchner,
Thomas Hillenbrand:
A phytography of WALDMEISTER.
AI Commun. 15(2-3): 127-133 (2002) |
| 2001 |
|---|
| 5 | EE | Jürgen Avenhaus,
Bernd Löchner:
CCE: Testing Ground Joinability.
IJCAR 2001: 658-662 |
| 1999 |
|---|
| 4 | EE | Thomas Hillenbrand,
Andreas Jaeger,
Bernd Löchner:
System Description: Waldmeister - Improvements in Performance and Ease of Use.
CADE 1999: 232-236 |
| 1998 |
|---|
| 3 | | Jörg Denzinger,
Bernd Löchner,
Sebastian Scheffler:
Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java.
Java-Informations-Tage 1998: 180-191 |
| 1997 |
|---|
| 2 | | Thomas Hillenbrand,
Arnim Buch,
Roland Vogt,
Bernd Löchner:
WALDMEISTER - High-Performance Equational Deduction.
J. Autom. Reasoning 18(2): 265-270 (1997) |
| 1996 |
|---|
| 1 | | Roland Fettig,
Bernd Löchner:
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.
RTA 1996: 347-361 |
