Pages that link to "Item:Q1187854"

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 2 items.

• Unification problem in equational theories (Q1280985) ‎ (← links)
• ELAN from a rewriting logic point of view (Q1608914) ‎ (← links)