AC unification through order-sorted AC1 unification
From MaRDI portal
Publication:5055752
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
- scientific article; zbMATH DE number 3871322 (Why is no real title available?)
- scientific article; zbMATH DE number 4213327 (Why is no real title available?)
- scientific article; zbMATH DE number 4056995 (Why is no real title available?)
- scientific article; zbMATH DE number 176134 (Why is no real title available?)
- scientific article; zbMATH DE number 3995771 (Why is no real title available?)
- A Unification Algorithm for Associative-Commutative Functions
- AC unification through order-sorted AC1 unification
- Adventures in associative-commutative unification
- An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
- Complete sets of reductions modulo associativity, commutativity and identity
- Efficient solution of linear diophantine equations
- On solving equations and disequations
- Unification in a combination of arbitrary disjoint equational theories
- Unification in abelian semigroups
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)