Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 13:02, 17 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Jürgen Avenhaus, Thomas Hillenbrand, and Bernd Löchner
    On Using Ground Joinable Equations in Equational Theorem Proving
    Journal of Symbolic Computation 36 (1-2): 217-233, 2003
    [PS: Download: gjoin.ps]
  2. Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, and Hendrik Spies
    The New WALDMEISTER Loop at Work
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 317-321
    [PS: Download: pwm.ps]
  3. Thomas Hillenbrand and Bernd Löchner
    The Next WALDMEISTER Loop (Extended Abstract)
    In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, Havana, Cuba, December 8th, 2001, 13-21
    [PS: Download: next-wm-loop.ps]
  4. Bernd Löchner and Thomas Hillenbrand
    A Phytography of WALDMEISTER
    AI Communications 15 (2-3): 127-133, 2002

  5. Thomas Hillenbrand and Bernd Löchner
    The Next WALDMEISTER Loop
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 486-500
    [PS: Download: wmloop.ps]