Search results

Rabin M. [1977] Comlexity of computations Communs ACM, 20, № 3, 625-633. 78.B5.804 article Вернуться к поиску

Rabin M. [1958] Recursive unsolvability of group theoretic problems Ann. Math., 67, № 2, 172-194 59.7677 article Вернуться к поиску

Rabin M. [1958] On recursively enumerable and arithmetic models of set theory J. Symbolic Logic, 23, № 4, 408-416 61.03.94 article Вернуться к поиску

Rabin M. [1960] Degree of difficulty of computing a function and a partial ordering of the recursive sets Univ. Jerus. Rep., 2 ? O article Вернуться к поиску

Rabin M. [1971] Decidability and definability in second-order theories Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 239-244 72.04.110 article Вернуться к поиску

Rabin M. [1960] Computable algebra, general theory and theory of computable fields Trans. Amer. Math. Soc., 95, № 2, 341-360 61.12.349 OS article Вернуться к поиску

Rabin M. [1968] Decidability of second order theories and automata on infinite trees Bull. Amer. Math. Soc., 74, № 5, 1025-1029 70.08.81 O article Вернуться к поиску

Rabin M. [1959] Speed of computation of functions and classification of recursive sets Bull. Res. Council Israel, F8, № 1, 69-70 61.04.77 article Вернуться к поиску

Rabin M. [1977] Decidable theories Handbook of Mathematic Logic, p. C, North-Holland, 595-629 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. – ред.), М.,...

Rabin M. [1965] A simple method for undecidability proofs and some applications Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 1965, 58-68 69.06.97 article Вернуться к поиску

Rabin M. [1969] Decidability of second order theories and automata on infinite trees Trans. Amer. Math. Soc., 141, № 7 , 1-35 (Русский перевод в Киберн. сб., 8, 72-116.) 70.90.332 OG article Вернуться к поиску

Rabin M. [1963] Real time computability Israel. J. Math, 1, № 4 , 203-211 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций....

Rabin M. [1962] Diophantine equations and non-standard model of arithmetic Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 151-158 (Русский перевод в сб. “Математическая ...

R Rabin M. Rackoff C.W. Rao J. Reed R.C. Regan K.W. Reidel D. Reimann J. Reitwiessner C. Remmel J.B. Retzlaff A. Rice H.G. RichterL RichterW RitchieDM RitchieRW Ritter W. Robertson E.L. RobinsonA RobinsonJ RobinsonRM RobinsonRW Rogers H. Jr. RoseGF Rosenstein ...