Pages that link to "Item:Q1260765"
From MaRDI portal
The following pages link to Finite acyclic theories are unitary (Q1260765):
Displaying 3 items.
- 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)
- Category equivalence preserves unification type (Q1272240) (← links)
- Syntacticness, cycle-syntacticness and shallow theories (Q1327397) (← links)