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
Rogers H. Jr. [1959] Computing degrees of unsolvability Math. Ann., 138, № 2, 125-140 60.8517 REOS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rogers H. Jr. [1965] On universal functions Proc. Amer. Math. Soc., 16 , № 1, 39-44 65.10.59 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rogers H. Jr. [1958] Gödel numberings of partial recursive functions J. Symbolic Logic, 23, № 3, 331-341 60.8518 ES article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rogers H. Jr. [1956] Certain logical reduction and decision problems Ann. Math. Logic, 64, № 2, 264-284 58.2679 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rogers H. Jr. [1959] Recursive functions over well ordered partial ordering Proc. Amer. Math. Soc., 10, № 6, 847-853 61.06.92 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rogers H.Jr. [1967] Theory of recursive functions and effective computability McGraw Hill, N.Y. (Имеется перевод на русский язык.) 69.05.62 OGS book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Friedberg R.M., Rogers H. Jr. [1959] Reducibilities and completeness for sets of integers Z. math. Logik und Grundl. Math., 5, № 2, 117-125 63.05.62 REOS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rogers H. Jr. [1967] Some problems of definability in recursive theory Sets, Models and Recursion Theory, Coll. and Summer School Math. Logic (Leichester, England, 1965), North-Holland, 183-201 69.01.79 S 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.