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

MPI-INF RG1 Publications, generated: 23:39, 18 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)
    , Informal proceedings, 2007
  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