Pages that link to "Item:Q2352488"
From MaRDI portal
The following pages link to Anti-unification for unranked terms and hedges (Q2352488):
Displayed 10 items.
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- (Q4993338) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)