Michael O. Rabin
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Decidability of Second-Order Theories and Automata on Infinite Trees
Michael O. Rabin (1969) · Transactions of the American Mathematical Society · JSTOR
Computable Algebra, General Theory and Theory of Computable Fields
Michael O. Rabin (1960) · Transactions of the American Mathematical Society · American Mathematical Society