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
Rosenstein J. G. [1984] Recursive linear orderings Orders: Description and Roles (L'Arbresle, 1982), 465-475, North-Holland ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rosenstein J.G. [1968] Initial segments of degrees Pacif. J. Math., 24, № 1, 163-172 68.09.62 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Manaster A. B. , Rosenstein J. G. [1980] .Two-dimensional partial orderings: undecidability J. Symbolic Logic, 45, № 1, 133-143 81.02.35 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Manaster A. B. , Rosenstein J. G. [1980] .Two-dimensional partial orderings: recursive model theory J. Symbolic Logic, 45, № 1, 121-132 81.02.34 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M., Rosenstein J. G. [1982] Recursive linear orderings Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 123-136 84.04.55 SG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hay L., Manaster A. B., Rosenstein J.G. [1977] Concerning partial recursive similarity transformations of linearly ordered sets Pacif. J. Math., 71, № 1, 57-70 78.04.55 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hay L., Manaster A. B., Rosenstein J.G. [1975] Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy Ann. Math. Logic, 8, №3, 297-343 76.01.86 OS 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.