Pages that link to "Item:Q918221"
From MaRDI portal
The following pages link to Algorithm theories and design tactics (Q918221):
Displaying 7 items.
- A problem reduction based approach to discrete optimization algorithm design (Q975314) (← links)
- Program construction by verifying specification (Q1273080) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Designing algorithms by expectations (Q1328761) (← links)
- An incremental approach to automatic algorithm design (Q1964361) (← links)
- Categories, relations and dynamic programming (Q4286530) (← links)
- (Q4536346) (← links)