Pages that link to "Item:Q5055751"
From MaRDI portal
The following pages link to Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751):
Displaying 10 items.
- Refinement of bounds of the height of terms in the most general unifier (Q1977922) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- E-generalization using grammars (Q2457667) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- (Q4217942) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
- (Q5445183) (← links)