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

Publications Master Template, generated: 2:57, 17 June 2019

Search the publication database

  . Return

Your search returned the following 7 documents:

  1. Peter Graf
    Substitution Tree Indexing
    In: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95), Kaiserslautern, Germany, April 5-7, 1995, 1995, 117-131. Note: There is an extended version of this paper published as report MPII-I-94-251
  2. Rolf Socher-Ambrosius
    A Refined Version of General E-Unification
    In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 665-677
  3. Peter Graf
    Extended Path-Indexing
    In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 514-528. Note: There is an extended version of this paper published as report MPII-I-93-253
  4. Leo Bachmair and Harald Ganzinger
    Ordered Chaining for Total Orderings
    In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 435-450. Note: Full version available as Research Report MPI-I-93-250, 1993
  5. Heng Chu and David A. Plaisted
    Semantically Guided First-Order Theorem Proving using Hyper-Linking
    In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 192-206
  6. David A. Basin and Toby Walsh
    Termination Orderings for Rippling
    In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 466-483. Note: Also available as Research Report MPI-I-94-209, Max-Planck-Institut für Informatik, Saarbrücken
  7. David A. Plaisted
    The Search Efficiency of Theorem Proving Strategies
    In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 57-71