Pages that link to "Item:Q1822503"
From MaRDI portal
The following pages link to The automated proof of a trace transformation for a bitonic sort (Q1822503):
Displaying 5 items.
- On optimal parallelization of sorting networks (Q917287) (← links)
- A note on bitonic sorting (Q1318746) (← links)
- Odd-even sort in powerlists (Q1391957) (← links)
- Parallelization of divide-and-conquer in the Bird-Meertens formalism (Q1906040) (← links)
- A theorem prover for a computational logic (Q6488518) (← links)