AC unification through order-sorted AC1 unification

DOI10.1007/3-540-53904-2_89zbMath1503.68102OpenAlexW1820316515MaRDI QIDQ5055752

Eric Domenjoud

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53904-2_89

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Cites Work

• Unification in a combination of arbitrary disjoint equational theories
• Unification in abelian semigroups
• Efficient solution of linear diophantine equations
• AC unification through order-sorted AC1 unification
• An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
• Adventures in associative-commutative unification
• A Unification Algorithm for Associative-Commutative Functions
• On solving equations and disequations
• Complete sets of reductions modulo associativity, commutativity and identity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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