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

Publications Master Template, generated: 12:54, 21 October 2019

Search the publication database

  . Return

Your search returned the following 7 documents:

  1. Peter Graf and Christoph Meyer
    Advanced indexing operations on substitution trees
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, New Jersey, USA, July 30 - August 3, 1996, 1996, 553-567
  2. Peter Graf
    Path indexing for AC-theories
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, New Jersey, USA, July, 30 - August, 3, 1996, 718-732
  3. Peter Graf
    Term Indexing
    , Springer, Berlin, 1996, 284 p.
  4. 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
  5. Peter Graf
    Term Indexing
    Doctoral dissertation, Universit├Ąt des Saarlandes, 1995
  6. Peter Graf
    Unification Using Dynamic Sorts
    Master's thesis, Universit├Ąt des Saarlandes, 1992
  7. 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