Rabin, M. O.
Most widely held works by M. O Rabin
Automata on infinite objects and Church's problem : lectures from the CBMS Regional Conference held at Morehouse College, Atlanta, Georgia, September 8-12, 1969 ( Book )
1 edition published in 1972 in English and held by 4 libraries worldwide
THEORIES OF COMPUTATION ( Book )
1 edition published in 1970 in English and held by 2 libraries worldwide
The work on Theories of Computation by Y. Bar-Hillel, E. Shamir, A. Levy, H. Gaifman, M. Rabin, B. Gabbay, M. Magidor and G. Moran is briefly reported. A bibliography of seventeen technical reports and articles containing the results of this effort is given. (Author).
Probabilistic algorithms by International Business Machines Corporation ( Book )
1 edition published in 1976 in English and held by 1 library worldwide
Efficient randomized pattern matching algorithms by Harvard University ( Book )
1 edition published in 1981 in English and held by 1 library worldwide
Digitalised signatures and publci key functions as intractable as factorisation by M. O Rabin ( Book )
1 edition published in 1979 in English and held by 1 library worldwide
THE THEORY OF DEFINITE AUTOMATA ( Book )
1 edition published in 1961 in English and held by 1 library worldwide
The notion of a definite event introduced by Kleene as well as the related concepts of definite automata and tables are studied in detail. Results relating to the minimum number of states required for synthesizing an automaton of a given degree of definiteness are proved. Various decision and synthesis problems pertaining to definite automata are effectively solved. (Author).