Pages that link to "Item:Q3862422"
From MaRDI portal
The following pages link to Algorithm classification through synthesis (Q3862422):
Displaying 9 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- On synthesis of scheduling algorithms (Q799101) (← links)
- Top-down synthesis of divide-and-conquer algorithms (Q1062770) (← links)
- Foundation of logic programming based on inductive definition (Q1075752) (← links)
- Program morphisms (Q1203125) (← links)
- Deductive synthesis of sorting programs (Q1822927) (← links)
- Algorithm design through the optimization of reuse-based generation (Q1980486) (← links)
- LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY (Q4820031) (← links)
