Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Graf, Peter

dblp



Editor(s):

Bundy, Alan

dblp



BibTeX cite key*:

Graf-95-rta

Title, Booktitle

Title*:

Substitution Tree Indexing

Booktitle*:

Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95)

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Kaiserslautern, Germany

Language:

English

Event Date*
(no longer used):

April 5-7, 1995

Organization:


Event Start Date:

19 September 2019

Event End Date:

19 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Heidelberg, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

914

Number:


Month:

April

Pages:

117-131

Year*:

1995

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

There is an extended version of this paper published as report MPII-I-94-251

(LaTeX) Abstract:

This article addresses the problem of maintaining and retrieving first-order predicate calculus terms in context of automatic reasoning. A new indexing technique that accelerates the speed of the basic retrieval operations, such as finding complementary literals in resolution theorem proving or finding critical pairs during completion is presented. Subsumption and reduction are also supported. Moreover, the new index not only provides maintenance and efficient retrieval of terms but also of idempotent substitutions. Substitution trees achieve maximal search speed paired with minimal memory requirements in various experiments and outperform traditional techniques such as path indexing, discrimination tree indexing and abstraction trees by combining their advantages and adding some new features.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{Graf-95-rta,
AUTHOR = {Graf, Peter},
EDITOR = {Bundy, Alan},
TITLE = {Substitution Tree Indexing},
BOOKTITLE = {Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95)},
PUBLISHER = {Springer},
YEAR = {1995},
VOLUME = {914},
PAGES = {117--131},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Kaiserslautern, Germany},
MONTH = {April},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm
Created
01/14/1995 06:51:39 PM
Revisions
11.
10.
9.
8.
7.
Editor(s)
Christine Kiesel
Uwe Brahm/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Edit Dates
03.09.2001 16:52:44
20.03.96 15:31:09
01/02/96 13:40:20
23/01/96 15:44:45
23/01/96 15:43:15