Adventures in associative-commutative unification

DOI10.1016/S0747-7171(89)80026-4zbMath0686.68026MaRDI QIDQ1262757

Jim Christian, Patrick D. Lincoln

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

unificationassociativitycommutativityequational theories

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Word problems (aspects of algebraic structures) (08A50)

Related Items (4)

AC unification through order-sorted AC1 unification ⋮ AC Completion with Termination Tools ⋮ On the parameterized complexity of associative and commutative unification ⋮ Type dependencies for logic programs using ACI-unification

Uses Software

• RRL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification in abelian semigroups
• Associative-commutative unification
• An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
• A Unification Algorithm for Associative-Commutative Functions
• An Efficient Unification Algorithm

This page was built for publication: Adventures in associative-commutative unification