Pages that link to "Item:Q688582"
From MaRDI portal
The following pages link to Efficient parallel term matching and anti-unification (Q688582):
Displaying 5 items.
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- On complexity of the anti-unification problem (Q3184519) (← links)
- A New Algorithm for Computing Least Generalization of a Set of Atoms (Q5041770) (← links)
