Pages that link to "Item:Q2362208"
From MaRDI portal
The following pages link to Higher-order pattern anti-unification in linear time (Q2362208):
Displaying 12 items.
- A note on the parallel complexity of anti-unification (Q688579) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- A Variant of Higher-Order Anti-Unification (Q2958379) (← links)
- Unification of higher-order patterns in linear time and space (Q4885622) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- Higher-order equational pattern anti-unification (Q4993338) (← links)
- Linear unification of higher-order patterns (Q5044750) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- Logic Programming (Q5475791) (← links)
- One or nothing: anti-unification over the simply-typed lambda calculus (Q6610194) (← links)