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

MPI-INF RG1 Publications, generated: 0:19, 22 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    In: Deduction and Decision Procedures, Dagstuhl, Germany, 2007, 1-22
  2. Viorica Sofronie-Stokkermans
    Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms-
    In: Interaction versus Automation : the two Faces of Deduction, Schloss Dagstuhl, 2010, 1-33
  3. Viorica Sofronie-Stokkermans
    Hierarchical Reasoning for the Verification of Parametric Systems
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, 2010, 171-187
  4. Carsten Ihlemann and Viorica Sofronie-Stokkermans
    On Hierarchical Reasoning in Combinations of Theories
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, 2010, 30-45
  5. Martin Suda, Christoph Weidenbach, and Patrick Wischnewski
    On the Saturation of YAGO
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, 2010, 441-456