A survey of adaptive sorting algorithms
ACM Computing Surveys (CSUR)
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Hi-index | 0.00 |