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