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

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

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. 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
  2. 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
  3. 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]
  4. Christoph Weidenbach
    Sorted Unification and Its Application to Automated Theorem Proving
    In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, New Brunswick, USA, July, 30 - August, 3, 1996, 67-76. Note: To appear in form of a technical report at the University of Wien, Austria
  5. 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