Pages that link to "Item:Q1062770"
From MaRDI portal
The following pages link to Top-down synthesis of divide-and-conquer algorithms (Q1062770):
Displaying 11 items.
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- The design of divide and conquer algorithms (Q760206) (← links)
- Automatic programming: A tutorial on formal methodologies (Q1060833) (← links)
- Top-down synthesis of divide-and-conquer algorithms (Q1062770) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Logic program synthesis from incomplete specifications (Q1322854) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Deductive synthesis of sorting programs (Q1822927) (← links)
- Categories, relations and dynamic programming (Q4286530) (← links)
- A higher-order interpretation of deductive tableau (Q5938542) (← links)