Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Ritter W. [1966] Notation systems and an effective fixed point property Proc. Amer. Math. Soc., 17, № 2, 390-395 67.01.87 E article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ritter W. [1967] Representability of partial recursive functions in formal theories Proc. Amer. Math. Soc., 18, № 4, 647-651 68.07.75 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.