The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd Löchner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002