The following pages link to Essential unifiers (Q2494722):
Displaying 5 items.
- Unification in commutative semigroups (Q1383954) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
- E-Unification based on Generalized Embedding (Q5084482) (← links)
- Uninorm Basics (Q5433998) (← links)