dblp.uni-trier.dewww.uni-trier.de

Bernd Löchner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
13EEAaron Stump, Bernd Löchner: Knuth-Bendix completion of theories of commuting group endomorphisms. Inf. Process. Lett. 98(5): 195-198 (2006)
12EEBernd Löchner: Things to Know When Implementing Lpo. International Journal on Artificial Intelligence Tools 15(1): 53-80 (2006)
11EEBernd Löchner: Things to Know when Implementing KBO. J. Autom. Reasoning 36(4): 289-310 (2006)
2004
10EEBernd Löchner: A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting. IJCAR 2004: 45-59
2003
9EEJean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies: The New WALDMEISTER Loop at Work. CADE 2003: 317-321
8EEJü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
7EEThomas Hillenbrand, Bernd Löchner: The Next W ALDMEISTER Loop. CADE 2002: 486-500
6EEBernd Löchner, Thomas Hillenbrand: A phytography of WALDMEISTER. AI Commun. 15(2-3): 127-133 (2002)
2001
5EEJürgen Avenhaus, Bernd Löchner: CCE: Testing Ground Joinability. IJCAR 2001: 658-662
1999
4EEThomas 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
1EERoland 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

Coauthor Index

1Jürgen Avenhaus [5] [8]
2Arnim Buch [2]
3Jörg Denzinger [3]
4Roland Fettig [1]
5Jean-Marie Gaillourdet [9]
6Thomas Hillenbrand [2] [4] [6] [7] [8] [9]
7Andreas Jaeger [4]
8Sebastian Scheffler [3]
9Hendrik Spies [9]
10Aaron Stump [13]
11Roland Vogt [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)