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

MPI-INF RG1 Publications, generated: 12:49, 22 October 2019

Search the publication database

  . Return

Your search returned the following 11 documents:

  1. Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hantao Zhao, Qi Lu, and ThanhVu Nguyen
    Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
    In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 2014, 189-228
  2. Matthias Horbach
    INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt
    , Köllen, Bonn-Buschdorf, 2013, 3148 p.
  3. Matthias Horbach and Viorica Sofronie-Stokkermans
    Obtaining Finite Local Theory Axiomatizations via Saturation
    In: Frontiers of Combining Systems - 9th International Symposium, Nancy, France, 2013, 198-213
  4. 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
  5. Matthias Horbach
    Superposition-based Decision Procedures for Fixed Domain and Minimal Model Semantics
    Doctoral dissertation, Universität des Saarlandes, 2010
  6. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    ACM Transactions on Computational Logic 11 (4): 27,1-27,35, 2010
  7. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    In: CSL, Bertinoro, Italy, 2008, 293-307
  8. Matthias Horbach and Christoph Weidenbach
    Decidability Results for Saturation-Based Model Building
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 404-420
  9. Matthias Horbach and Christoph Weidenbach
    Deciding the Inductive Validity of Forall Exists* Queries
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-001, Research Report
    [PDF: Download: decIndQueries_TR.pdf]
  10. Matthias Horbach and Christoph Weidenbach
    Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
    In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, 2009, 332-347
  11. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-005, Research Report
    [PDF: Download: superFixDom_TR.pdf]