Pages that link to "Item:Q1187854"
From MaRDI portal
The following pages link to 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):
Displayed 5 items.
- Unification problem in equational theories (Q1280985) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- AC-superposition with constraints: No AC-unifiers needed (Q5210796) (← links)
- The complexity of counting problems in equational matching (Q5210797) (← links)