News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: 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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Robinson J. [1968] Recursive functions of one variable Proc. Amer. Math. Soc., 19, № 4, 815-820 71.08.55 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1967] An introduction to hyperarithmetical functions J. Symbolic Logic, 32, № 3, 325-342 69.02.73 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1955] Note on primitive recursive functions Proc. Amer. Math. Soc., 6, № 4 , 667-670 56.7064 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1950] General recursive functions Proc. Amer. Math. Soc., 1, № 6, 703-718 ~ ES article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1969] Unsolvable Diophantin problems Proc. Amer. Math. Soc., 22, № 2 , 534-538 70.04.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1949] Definability and decision problems in arithmetic J. Symbolic Logic, 14, № 2, 98-114 ~ RS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1968] Finite generations of recursively enumerable sets Proc. Amer. Math. Soc., 19, № 6 , 1480-1486 71.08.56 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1959] The undecidability of algebraic rings and fields Proc. Amer. Math. Soc., 10, № 6, 950-957 61.03.234 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1952] Existential definability in arithmetic Trans. Amer. Math. Soc., 72, № 3, 437-449 (Русский перевод в сб. Математика , 1964, 8, № 5, 3-14.) ~ article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1969] Finitely generated classes of sets of natural numbers Proc. Amer. Math. Soc., 21, № 3, 608-614 70.03.80 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1962] On the decision problem for algebraic rings Studies Math. Analysis and Related Topics, Stanford, Calif., Univ. Press, 297-304 65.03.373 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Matijasevič Y. V., Robinson J. [1975] Reduction of an arbitrary Diophantine equation to one in 13 unknowns Acta Arithmetica, 27, 521-553 75.11.205 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Davis M., Putnam H., Robinson J. [1961] The decision problem for exponential Diophantine equations Ann. Math., 74, № 3, 425-436 (Русский перевод в сб. Математика, 1964, 8, № 5, 69-79.) 62.06.58 RS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 J. G. Rosser J. B. Routledge N.A. RoyDK Royer J. Rubel L. Rubin M. Ruzzo W.L. Ryan B.E Rybakov A.N. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1962] The undecidability of exponential Diophantine equations Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 12-13 (Русский перевод в сб. “Математическая логика и ее применения”, (Мальцев А.И.- ред.), М., Мир, 1965, 7-8.) 65.09.57 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Davis M., Matijasevič Y. V., Robinson J. [1976] Hilbert’s tenth problem. Diophantine equations: positive aspects of a negative solution, Mathematical Development arising from Hilbert’s problems, Proc. Conf. on the Hilbert Problems (Ill ois, 1974), Amer. Math. Soc., Providence, R.I., 323-378 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.