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 11 items.
- Schema induction for logic program synthesis (Q1128483) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- 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)