M. O. Rabin

Basic Verifiability in the Combinatory Theory of Restricted Generality

Y. Bar-Hillel, Haskell B. Curry, E. I. J. Poznanski, 1970 .

Correctness of programs and protocols through randomization

M. O. Rabin, 1997 .

Axiomatic Method and Intuitionism

M. O. Rabin, A. Robinson, A. Heyting, 1971 .

On the Use of Hilbert's ε-Operator in Scientific Theories

Rudolf Carnap, M. O. Rabin, A. Robinson, 1971 .

PROBABILISTIC ALGORITHM IN FINITE FIELDS

M. O. Rabin, 1979 .