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

Publications Master Template, generated: 4:56, 25 August 2019

Search the publication database

  . Return

Your search returned the following 9 documents:

  1. 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
  2. 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
  3. Konstantin Korovin and Andrei Voronkov
    Knuth-Bendix constraint solving is NP-complete
    ACM Transactions on Computational Logic 6 (2): 361-388, 2005
  4. Harald Ganzinger and Konstantin Korovin
    Integration of equational reasoning into instantiation-based theorem proving
    In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, 2004, 71-84
  5. 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]
  6. Konstantin Korovin and Andrei Voronkov
    Orienting Equalities with the Knuth-Bendix Order
    In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), Ottawa, Canada, June, 22 - June, 25, 2003, 75-84

  7. Konstantin Korovin and Andrei Voronkov
    Orienting rewrite rules with the Knuth-Bendix order
    Information and Computation 183 (2): 165-186, 2003
  8. Konstantin Korovin and Andrei Voronkov
    AC-compatible Knuth-Bendix Order
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 47-59

  9. Konstantin Korovin
    Knuth-Bendix orders in automated deduction and term rewriting
    Doctoral dissertation, University of Manchester, 2003