← Back to Mathematics Database
All Collections
Tony Hoare
1934–
Quicksort; Hoare logic.
Charts
Quicksort