Unification in monoidal theories
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Unification in commutative theoriesJournal of Symbolic Computation, 1989
- On equational theories, unification, and (Un)decidabilityJournal of Symbolic Computation, 1989
- The theory of idempotent semigroups is of unification type zeroJournal of Automated Reasoning, 1986
- Unification under associativity and idempotence is of type nullaryJournal of Automated Reasoning, 1986
- A categorical unification algorithmLecture Notes in Computer Science, 1986
- Unification in the data structure setsPublished by Springer Nature ,1986
- Complete sets of unifiers and matchers in equational theoriesTheoretical Computer Science, 1986
- An algebraic approach to unification under associativity and commutativityLecture Notes in Computer Science, 1985
- Abelian group unification algorithms for elementary termsContemporary Mathematics, 1984
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981