Associative-commutative discrimination nets
- 1 January 1993
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Tight complexity bounds for term matching problemsInformation and Computation, 1992
- Compilation of pattern matching with associative-commutative functionsLecture Notes in Computer Science, 1991
- Rewrite SystemsPublished by Elsevier BV ,1990
- Automata-driven indexing of Prolog clausesPublished by Association for Computing Machinery (ACM) ,1990
- Fast Knuth-Bendix completion: SummaryLecture Notes in Computer Science, 1989
- Complexity of matching problemsJournal of Symbolic Computation, 1987
- A Catalogue of Canonical Term Rewriting Systems.Published by Defense Technical Information Center (DTIC) ,1980