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

Associativitycollapsing theoryCommutativityNP-Completeorder-sorted unificationunification

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

(7)

• \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
• Extending reduction orderings to ACU-compatible reduction orderings
• AC unification through order-sorted AC1 unification
• AC-complete unification and its application to theorem proving
• “Syntactic” AC-unification
• Order-sorted equational unification revisited
• Order-sorted unification

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)