AC unification through order-sorted AC1 unification

zbMath0778.68073MaRDI QIDQ1209613

Eric Domenjoud

Publication date: 16 May 1993

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

zbMATH Keywords

Associativityunificationcollapsing theoryorder-sorted unificationCommutativityNP-Complete

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (3)

AC-complete unification and its application to theorem proving ⋮ “Syntactic” AC-unification ⋮ AC unification through order-sorted AC1 unification

This page was built for publication: AC unification through order-sorted AC1 unification