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

MPI-INF RG1 Publications, generated: 2:48, 22 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Harald Ganzinger and Konstantin Korovin
    New Directions in Instantiation-Based Theorem Proving
    In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), Ottawa, Canada, old, 2003, 55-64
    [PDF: Download: _03LICS.pdf]
  2. Harald Ganzinger and Konstantin Korovin
    Theory Instantiation
    In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference (LPAR'06), Phnom Penh, Cambodia, 2006, 497-511