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

Publications Master Template, generated: 19:31, 21 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Virgile Prevosto and Uwe Waldmann
    SPASS+T
    In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, Seattle, WA, USA, 2006, 18-33
  2. Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Darwin: A Theorem Prover for the Model Evolution Calculus
    In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), Cork, Ireland, 2004, 1-24
  3. Christoph Weidenbach
    Unification in Sort Theories
    In: Proceedings of the 10th International Workshop on Unification, UNIF'96, Harsching, Germany, June, 3 - June, 5, 1996, 16-25
  4. Hans de Nivelle and Stephan Schulz(Ed.)
    Proceedings of the 2nd International Workshop on the Implementation of Logics
    Research Report. , Max-Planck-Institut für Informatik, Saarbrücken, 2001
  5. 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]