Unification in commutative idempotent monoids
Open Access
- 31 March 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 56 (3) , 345-353
- https://doi.org/10.1016/0304-3975(88)90140-5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Unification in varieties of idempotent semigroupsSemigroup Forum, 1987
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- The theory of idempotent semigroups is of unification type zeroJournal of Automated Reasoning, 1986
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- Universal UnificationPublished by Springer Nature ,1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981