Библиография Лаврова И.А.
Новости
14 Августа, 2025
Конкурс на замещение должности
03 Июля, 2025
Конкурс на замещение должности
20 Июня, 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
Поиск
Денисов С.Д. ...
Денисов С.Д. [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сийской академии наук / Библиография Лаврова И.А.