AC unification through order-sorted AC1 unification
From MaRDI portal
Publication:5055752
DOI10.1007/3-540-53904-2_89zbMATH Open1503.68102OpenAlexW1820316515MaRDI QIDQ5055752FDOQ5055752
Authors: 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
Recommendations
- AC unification through order-sorted AC1 unification
- Order-sorted unification
- scientific article; zbMATH DE number 4092822
- A precedence-based total AC-compatible ordering
- Order-sorted feature theory unification
- An ordering linear unification algorithm
- Extending reduction orderings to ACU-compatible reduction orderings
- Order-sorted equational unification revisited
- A total AC-compatible ordering based on RPO
- Unification in sort theories and its applications
Cites Work
- Title not available (Why is that?)
- A Unification Algorithm for Associative-Commutative Functions
- AC unification through order-sorted AC1 unification
- Complete sets of reductions modulo associativity, commutativity and identity
- Unification in a combination of arbitrary disjoint equational theories
- Efficient solution of linear diophantine equations
- An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
- Title not available (Why is that?)
- On solving equations and disequations
- Adventures in associative-commutative unification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unification in abelian semigroups
- Title not available (Why is that?)
Cited In (6)
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 Q5055752)
