The following pages link to A note on unification type zero (Q1098285):
Displaying 8 items.
- Unification under associativity and idempotence is of type nullary (Q580999) (← links)
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- Characterizations of unification type zero (Q5055707) (← links)
- E-Unification based on Generalized Embedding (Q5084482) (← links)
- Unification in varieties of completely regular semigroups (Q6114512) (← links)