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

Publications Master Template, generated: 23:53, 21 September 2019

Search the publication database

  . Return

Your search returned the following 18 documents:

  1. Harald Ganzinger and Konstantin Korovin
    Theory Instantiation
    In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), Phnom Penh, Cambodia, 2006, 497-511
  2. Harald Ganzinger and Konstantin Korovin
    Theory Instantiation
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, 2006, 497-511
  3. Matthias Daum, Stefan Maus, Norbert Schirmer, and Mohammed Nassim Seghir
    Integration of a Software Model Checker into Isabelle
    In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, 2005, 381-395

  4. Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    A New Clausal Class Decidable by Hyperresolution
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 260-274
  5. Harald Ganzinger
    Shostak Light
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 332-346
    [PDF: Download: _02CADE.pdf]
  6. 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]
  7. Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
    SPASS Version 2.0
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
    [PS: Download: spass2002.ps]
  8. Christoph Weidenbach
    Combining Superposition, Sorts and Splitting
    In: Handbook of Automated Reasoning, 2001, 1965-2013
  9. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
  10. Andreas Nonnengart, Hans Jürgen Ohlbach, and Dov M. Gabbay
    Encoding two-valued non-classical logics in classic logic
    In: Handbook of Automated Reasoning, 2001, 1403-1486
  11. Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
    First-Order Atom Definitions Extended
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
    [PS: Download: AtomFinal.ps]
  12. Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet
    Resolution Decision Procedures
    In: Handbook of Automated Reasoning, 2001, 1793-1849
  13. Alexander Bockmayr and V. Weispfenning
    Solving numerical constraints
    In: Handbook of Automated Reasoning, 2001, 751-842
  14. Hans de Nivelle
    Splitting through New Proposition Symbols
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havana, Cuba, December 3-7, 2001, 2001, 172-185
  15. Jean-Marc Talbot
    On the Alternation-free Horn mu-calculus
    In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), La Reunion, France, November, 6 - November,10, 2000, 418-435
  16. Rolf Socher-Ambrosius
    Unification in Order-Sorted Logic with Term Declarations
    In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), St. Petersburg, Russia, July, 13-20, 1993, 301-308
  17. Uwe Waldmann
    Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
    In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), Tbilisi, Georgia, September 6-10, 1999, 131-147. Note: %Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken
  18. Harald Ganzinger, David McAllester, and Andrei Voronkov(Ed.)
    Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)
    Lecture Notes in Artificial Intelligence. 1705, , Springer, Berlin, 1999. Note: Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken