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

MPI-INF RG1 Publications, generated: 2:32, 16 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. 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
  2. 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]
  3. Thomas Hillenbrand
    A Superposition View on Nelson-Oppen
    In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, 2004, 16-20
    [PS: Download: NOSup.ps]
  4. Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)
    , Informal proceedings, 2007