Pages that link to "Item:Q5089010"
From MaRDI portal
The following pages link to A Generic Framework for Higher-Order Generalizations. (Q5089010):
Displaying 10 items.
- A generalization of the Routley-Meyer semantic framework (Q496325) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- (Q2723900) (← links)
- Generalized coiteration schemata (Q2843722) (← links)
- Abduction of generalizations (Q2861000) (← links)
- (Q3783620) (← links)
- (Q4029605) (← links)
- (Q4537449) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- One or nothing: anti-unification over the simply-typed lambda calculus (Q6610194) (← links)