The following pages link to Generalizations of unification (Q1322773):
Displaying 13 items.
- Unification for infinite sets of equations between finite terms (Q287056) (← links)
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Unification with extended patterns (Q1274966) (← links)
- Unification of kinded infinite trees (Q1352126) (← links)
- Relaxed unification -- proposal (Q1431877) (← links)
- Refinement of bounds of the height of terms in the most general unifier (Q1977922) (← links)
- Essential unifiers (Q2494722) (← links)
- A remark on infinite matching vs infinite unification (Q2563693) (← links)
- A categorical approach to unification of generalised terms (Q2842593) (← links)
- (Q3028368) (← links)
- (Q4235430) (← links)
- (Q5020553) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)