Pages that link to "Item:Q581000"
From MaRDI portal
The following pages link to The theory of idempotent semigroups is of unification type zero (Q581000):
Displayed 10 items.
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Hilbert's tenth problem is of unification type zero (Q688556) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- A note on unification type zero (Q1098285) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification in partially commutative semigroups (Q1337561) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Essential unifiers (Q2494722) (← links)