Advanced search    

Search: authors:"\'Erik Martin-Dorel"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

A Formal Study of Boolean Games with Random Formulas as Payoff Functions

): 295 - 323 , 2008 . doi: 10 .1007/ s10817-008-9113-6. Joe Hurd . Formal verification of probabilistic algorithms . PhD thesis , University of Cambridge, 2002 . Erik Martin-Dorel and Sergei Soloviev