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

MPI-INF RG1 Publications, generated: 14:11, 16 October 2019

Search the publication database

  . Return

Your search returned the following document:

  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]