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

MPI-INF RG1 Publications, generated: 5:00, 23 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. 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
  2. Viorica Sofronie-Stokkermans
    Hierarchical Reasoning for the Verification of Parametric Systems
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, 2010, 171-187
  3. 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
  4. 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