Pages that link to "Item:Q3184519"
From MaRDI portal
The following pages link to On complexity of the anti-unification problem (Q3184519):
Displaying 4 items.
- A note on the parallel complexity of anti-unification (Q688579) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- A New Algorithm for Computing Least Generalization of a Set of Atoms (Q5041770) (← links)
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Q5410678) (← links)