Pages that link to "Item:Q1405987"
From MaRDI portal
The following pages link to Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning. (Q1405987):
Displaying 8 items.
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← 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)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- A Prolog assisted search for new simple Lie algebras (Q6203472) (← links)
- One or nothing: anti-unification over the simply-typed lambda calculus (Q6610194) (← links)
