Complexity of matching problems
- 1 February 1987
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 3 (1-2) , 203-216
- https://doi.org/10.1016/s0747-7171(87)80027-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Patterns and pattern-matching in trees: An analysisInformation and Control, 1983
- Pattern Matching in TreesJournal of the ACM, 1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974