Pages that link to "Item:Q3402293"
From MaRDI portal
The following pages link to Anti-unification Algorithms and Their Applications in Program Analysis (Q3402293):
Displayed 6 items.
- Monads for the formalization of a pattern matching procedure (Q2017780) (← 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)