AC unification through order-sorted AC1 unification

zbMATH Open0778.68073MaRDI QIDQ1209613FDOQ1209613

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)

Cited In (5)

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

   Recommendations

• AC unification through order-sorted AC1 unification 👍 👎
• An algebraic approach to unification under associativity and commutativity 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Unification in abelian semigroups 👍 👎

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)