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

MPI-INF RG1 Publications, generated: 20:19, 14 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Ernst Althaus, Evgeny Kruglov, and Christoph Weidenbach
    Superposition Modulo Linear Arithmetic SUP(LA)
    In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, 2009, 84-99
  2. Christopher Lynch, Paliath Narendran, Franz Baader, Silvio Ghilardi, Miki Hermann, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    UNIF 2009, 23nd International Workshop on Unification and ADDCT 2009 Automated Deduction: Decidability, Complexity, Tractability : proceedings
    , McGill University, Montreal, 2009
  3. Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)
    , Informal proceedings, 2007
  4. Franz Baader, Silvio Ghilardi, Miki Hermann, Ulrike Sattler, and Viorica Sofronie-Stokkermans(Ed.)
    Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)
    , Informal proceedings, 2008
  5. Swen Jacobs
    Incremental Instance Generation in Local Reasoning
    In: Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08, Sydney, Australia, 2008, 47-62
    [PDF: Download: IIGLR.pdf]