AC unification through order-sorted AC1 unification

zbMATH Open0778.68073MaRDI QIDQ1209613FDOQ1209613

Authors: Eric Domenjoud 

Publication date: 16 May 1993

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

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

zbMATH Keywords

unificationAssociativitycollapsing theoryorder-sorted unificationCommutativityNP-Complete

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (6)

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

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)