Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Rabin, M. O. ; Scott, D., Finite Automata and Their Decision Problems (1959)
Rabin, Michael O., Classes of Models and Sets of Sentences with the Intersection Property
Rabin, Michael O., Degree of Difficulty of Computing a Function and a Partial Ordering of Recursive Sets (1960)
Rabin, Michael O., Non-Standard Models and Independence of the Induction Axiom (1961)
Rabin, Michael O., Diophantine Equations and Non-Standard Models of Arithmetic (1962)
Rabin, Michael O., Probabilistic Automata (1963)
Rabin, Michael O. ; Moschovakis, Yiannis N. ; Yates C. E. M. ; Jensen, R. B. ; Solovay, R. M. ; Gaifman, Haim ; Jensen, Ronald ; Levy, Azriel, Mathematical Logic and Foundations of Set Theory (1970)
Radin, Lon Berk, Adding Closed Cofinal Sequences to Large Cardinals (1980)
Rado, T., Comments on the Presence Function of Gazalé (1962)
Rado, T., On Non-Computable Functions (1962)