The following pages link to “Syntactic” AC-unification (Q5096305):
Displaying 7 items.
- Unification in abelian semigroups (Q1098653) (← links)
- Associative-commutative unification (Q1099648) (← links)
- A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\) (Q1187854) (← links)
- Finite acyclic theories are unitary (Q1260765) (← links)
- Syntacticness, cycle-syntacticness and shallow theories (Q1327397) (← links)
- A formally verified solver for homogeneous linear Diophantine equations (Q1791187) (← links)
- Problems in rewriting III (Q5055847) (← links)