Pages that link to "Item:Q1181721"
From MaRDI portal
The following pages link to The unification hierarchy is undecidable (Q1181721):
Displaying 5 items.
- On unification: Equational theories are not bounded (Q1094131) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- (Q3773856) (← links)
- Unification in varieties of completely regular semigroups (Q6114512) (← links)