Peter Graf  Home/Search
Context Related
| mpisb.mpg.de/pub/...MPII94251.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The performance of a theorem prover crucially depends on the speed of the basic retrieval operations, such as finding terms that are unifiable with (instances of, or more general than) a given query term. In this paper a new indexing method is presented, which outperforms traditional methods such as path indexing, discrimination tree indexing and abstraction trees. Additionally, the new index not only supports term indexing but also provides maintenance and efficient retrieval of substitutions. ... (Update)
Cited by: More
First-Order Term Compression: Techniques and Applications - Cheney (1998) (Correct)
Implementing Anti-Unification Modulo Equational Theory - Burghardt, Heinz (Correct)
Indexing Methods for Efficient Parsing with Typed Feature.. - Munteanu (2004) (Correct)
Active bibliography (related documents): More All
0.4: On the Evaluation of Indexing Techniques for Theorem.. - Nieuwenhuis, Riazanov.. (2003) (Correct)
0.4: Advanced Indexing Operations on Substitution Trees - Graf, Meyer (Correct)
0.3: Experiments with Discrimination-Tree Indexing and Path Indexing.. - McCune (1990) (Correct)
Similar documents based on text: More All
0.3: Higher-Order Substitution Tree Indexing - Pientka (2003) (Correct)
0.1: The Constraint-Based Layout Framework LayLab and Its Applications - Graf (1996) (Correct)
0.1: Towards a Reference Model for Intelligent Multimedia Layout - Graf (1996) (Correct)
Related documents from co-citation: More All
12: and fast term rewriting (context) - Christian - 1993
10: Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retriev.. - McCune - 1990
6: The Anatomy of Vampire: Implementing Bottom-up Procedures with Code Trees (context) - Voronkov - 1995
BibTeX entry: (Update)
Peter Graf. Substitution Tree Indexing. In J. Hsiang, editor, 6th RTA, LNCS 914, pages 117--131, Kaiserslautern, Germany, April 4--7, 1995. Springer-Verlag. http://citeseer.ist.psu.edu/graf94substitution.html More
@techreport{ graf94substitution,
author = "Peter Graf",
title = "Substitution Tree Indexing",
number = "MPI-I-94-251",
address = "Saarbruecken",
year = "1994",
url = "citeseer.ist.psu.edu/graf94substitution.html" }
Citations (may not include all citations):634 A machine--oriented logic based on the resolution principle (context) - Robinson - 1965
44 Experiments with discrimination-tree indexing and path-index.. - McCune - 1992
22 and fast term rewriting (context) - Christian, discrimination - 1993
20 Associative-commutative discrimination nets (context) - Bachmair, Chen et al. - 1993
13 The path--indexing method for indexing terms - Stickel - 1989
12 Abstraction tree indexing for terms - Ohlbach - 1990
11 The anatomy of vampire: Implementing bottom--up procedures w.. (context) - Voronkov - 1994
7 a sometimes undervalued procedure (context) - Wos, Overbeek et al.
7 Extended path--indexing (context) - Graf - 1994
6 Max-Planck-Institut fur Informatik (context) - Graf, for et al. - 1992
6 Compilation of recursive two-literal clauses into unificatio.. - Ohlbach - 1990
4 Data structures and control architectures for the implementa.. (context) - Lusk, Overbeek - 1980
3 Formula databases for high--performance resolution /paramodu.. (context) - Butler, Overbeek - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC