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

Publications Master Template, generated: 2:12, 22 August 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Christoph Weidenbach
    Sorted Unification and Its Application to Automated Theorem Proving
    In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, New Brunswick, USA, July, 30 - August, 3, 1996, 67-76. Note: To appear in form of a technical report at the University of Wien, Austria
  2. Harald Ganzinger and Konstantin Korovin
    Theory Instantiation
    In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), Phnom Penh, Cambodia, 2006, 497-511
  3. Harald Ganzinger and Konstantin Korovin
    Theory Instantiation
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, 2006, 497-511