Substitution tree indexing
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 117-131
- https://doi.org/10.1007/3-540-59200-8_52
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extended path-indexingPublished by Springer Nature ,1994
- Formula databases for high-performance resolution/paramodulation systemsJournal of Automated Reasoning, 1994
- Associative-commutative discrimination netsPublished by Springer Nature ,1993
- Flatterms, discrimination nets, and fast term rewritingJournal of Automated Reasoning, 1993
- Experiments with discrimination-tree indexing and path indexing for term retrievalJournal of Automated Reasoning, 1992
- Otter 2.0Lecture Notes in Computer Science, 1990
- Data structures and control architecture for implementation of theorem-proving programsPublished by Springer Nature ,1980
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965