Pages that link to "Item:Q2401634"
From MaRDI portal
The following pages link to Unranked second-order anti-unification (Q2401634):
Displaying 7 items.
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- Type II unprojection (Q3429772) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- Higher-order equational pattern anti-unification (Q4993338) (← links)
- Linear second-order unification (Q5055871) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)