Библиография Лаврова И.А.
Новости
05 Марта, 2026
Итоги конкурса на замещение вакантных должностей
02 Марта, 2026
Конкурс на замещение должности
22 Февраля, 2026
Защита диссертаций
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Денисов С.Д. ...
Денисов С.Д. [1972] Модели непротиворечивой формулы и иерархия Ершова Алгебра и логика, 11, № 6, 648-655 73.08.57 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ахтямов Р.В. ...
Ахтямов Р.В. [1990] Об индексные множества в иерархии Ершова Вероят. методы и кибернетика, Казань, Из-во КГУ, № 24, 3-16 91.10.33 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Файзрахманов М.Х.
Файзрахманов М.Х. [2010] Разложимость низких 2-вычислимо перечислимых степеней и тьюринговы степени в иерархии Ершова. Изв. вузов, Мат., № 12, 58-66 11.03.73 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.