C
omparison_
S
ort_
L
ower_
B
ound Dependents
2018
Treaps
by
Max W. Haslbeck
,
Manuel Eberl
and
Tobias Nipkow
Feb 06
2017
The number of comparisons in QuickSort
by
Manuel Eberl
Mar 15