AC unification through order-sorted AC1 unification

MaRDI QIDQ1209613zbMATH OpenFDO

Authors Eric Domenjoud

Publication date 16 May 1993

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

zbMATH Keywords

unificationAssociativitycollapsing theoryorder-sorted unificationCommutativityNP-Complete

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• AC unification through order-sorted AC1 unification
• An algebraic approach to unification under associativity and commutativity
• scientific article; zbMATH DE number 4074540
• scientific article; zbMATH DE number 3930337
• Unification in abelian semigroups

Cited in

(6)

• Order-sorted unification
• Order-sorted equational unification revisited
• AC unification through order-sorted AC1 unification
• “Syntactic” AC-unification
• AC-complete unification and its application to theorem proving
• Extending reduction orderings to ACU-compatible reduction orderings

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1209613)