The following pages link to E-generalization using grammars (Q2457667):
Displaying 7 items.
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- Anti-unification in Constraint Logic Programming (Q5108501) (← links)
