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

MPI-INF RG1 Publications, generated: 19:46, 23 October 2019

Search the publication database

  . Return

Your search returned the following 15 documents:

  1. Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, and Christoph Weidenbach
    From Search to Computation: Redundancy Criteria and Simplification at Work
    In: Programming Logics, Essays in Memory of Harald Ganzinger, Saarbrücken, Germany, 2013
  2. Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, and Reinhard Wilhelm
    Harald Ganzinger's Legacy: Contributions to Logics and Programming
    In: Programming Logics, Festschrift, 2013
  3. Viorica Sofronie-Stokkermans
    On combinations of local theory extensions
    In: Programming Logics, Essays in Memory of Harald Ganzinger, Saarbrücken, 2013, 392-413
  4. Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach
    Automatic Generation of Invariants for Circular Derivations in SUP(LA)
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 197-211
  5. Martin Suda and Christoph Weidenbach
    Labelled Superposition for PLTL
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 391-405

  6. Matthias Horbach
    Disunification for Ultimately Periodic Interpretations
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, 2010, 290-311
  7. Arnaud Fietzke, Holger Hermanns, and Christoph Weidenbach
    Superposition-based Analysis of First-Order Probabilistic Timed Automata
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, 2010, 302-316
  8. Michel Ludwig and Uwe Waldmann
    An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
    In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, 2007, 348-362
  9. Harald Ganzinger and Konstantin Korovin
    Theory Instantiation
    In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference (LPAR'06), Phnom Penh, Cambodia, 2006, 497-511
  10. 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]
  11. 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]
  12. 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
  13. Christoph Weidenbach
    Combining Superposition, Sorts and Splitting
    In: Handbook of Automated Reasoning, 2001, 1965-2013
  14. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
  15. 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]