Pages that link to "Item:Q1118415"
From MaRDI portal
The following pages link to A note on synthesis and classification of sorting algorithms (Q1118415):
Displaying 7 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Formal transformation of structured sorting algorithms (Q1067782) (← links)
- An introduction to three algorithms for sorting in situ (Q1167544) (← links)
- Design of sequential sorting algorithms: Classification, transformation, synthesis (Q1183773) (← links)
- Strategies for symbolic processing and synthesis of algorithms and programs (Q1817148) (← links)
- Properties of linear approximations of matrices in the spectral norm (Q2365673) (← links)
- (Q3340173) (← links)