Results 301 to 306 of about 2,610,566 (306)
Some of the next articles are maybe not open access.
Proofs of randomized algorithms in Coq
Science of Computer Programming, 2009Christine Paulin-Mohring
exaly
Proofs of randomized algorithms in Coq
Science of Computer Programming, 2009