Complexity of matching problems
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 417-429
- https://doi.org/10.1007/3-540-15976-2_22
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On equations including string variablesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,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
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.Published by Elsevier ,1970