-
11
-
12
-
13
-
14
An in-place sorting with O(nlog n) comparisons and O(n) moves.
Publié dans Journal of the ACMArticle -
15
-
16
-
17
-
18
-
19
Complexity estimates depending on condition and round-off error.
Publié dans Journal of the ACMArticle -
20
Probabilistic checking of proofs a new characterization of NP.
Publié dans Journal of the ACMArticle