Bernd Löchner

According to our database, Bernd Löchner authored at least 14 papers between 1996 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Things to Know when Implementing KBO.

Bernd Löchner

J. Autom. Reason., 2006

Knuth-Bendix completion of theories of commuting group endomorphisms.

Aaron Stump, Bernd Löchner

Inf. Process. Lett., 2006

Things to Know When Implementing Lpo.

Bernd Löchner

Int. J. Artif. Intell. Tools, 2006

2005

Advances in equational theorem proving: architecture, algorithms, and redundancy avoidance.

Bernd Löchner

PhD thesis, 2005

2004

A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting.

Bernd Löchner

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

On using ground joinable equations in equational theorem proving.

Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner

J. Symb. Comput., 2003

The New WALDMEISTER Loop at Work.

Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

A phytography of WALDMEISTER.

Bernd Löchner, Thomas Hillenbrand

AI Commun., 2002

The Next W ALDMEISTER Loop.

Thomas Hillenbrand, Bernd Löchner

Proceedings of the Automated Deduction, 2002

2001

CCE: Testing Ground Joinability.

Jürgen Avenhaus, Bernd Löchner

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999

System Description: Waldmeister - Improvements in Performance and Ease of Use.

Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner

Proceedings of the Automated Deduction, 1999

1998

Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java.

Jörg Denzinger, Bernd Löchner, Sebastian Scheffler

Proceedings of the JIT '98, 1998

1997

WALDMEISTER - High-Performance Equational Deduction.

Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner

J. Autom. Reason., 1997

1996

Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.

Roland Fettig, Bernd Löchner

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996