Adventures in associative-commutative unification
Open Access
- 1 July 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (1-2) , 217-240
- https://doi.org/10.1016/s0747-7171(89)80026-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unificationJournal of Automated Reasoning, 1987
- Unification in Abelian semigroupsJournal of Automated Reasoning, 1987
- Associative-commutative unificationJournal of Symbolic Computation, 1987
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981