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

MPI-INF RG1 Publications, generated: 11:03, 22 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Nikolaj Bjørner and Viorica Sofronie-Stokkermans(Ed.)
    Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction
    Lecture Notes in Artificial Intelligence. 6803, , Springer, Berlin, 2011
  2. Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach
    Automatic Generation of Invariants for Circular Derivations in SUP(LA)
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 197-211
  3. Martin Suda and Christoph Weidenbach
    Labelled Superposition for PLTL
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 391-405