Новости
05 Февраля, 2026
Конкурс на замещение должности
04 Февраля, 2026
Сергею Петровичу Прохорову 80 лет
18 Декабря, 2025
Конкурс на замещение должности
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Myasnikov A.G.,Rybakov A.N. ...
Myasnikov A.G., Rybakov A.N. [2008] Generic complexity of undecidable problems J. Symbolic Logic, 73, № 2, 656-673 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на R
....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сийской академии наук / Библиография Лаврова И.А.