The following pages link to Logic program synthesis (Q4305630):
Displaying 7 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Induction in linear logic (Q674992) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)
- Program synthesis with best-first bottom-up search (Q6488803) (← links)
