Библиография Лаврова И.А.
Новости
26 Сентября, 2024
Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций
24 Сентября, 2024
Приглашаем принять участие в Открытой конференции ИСП РАН
19 Сентября, 2024
Открыт приём заявок на премию «За верность науке»
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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сийской академии наук / Библиография Лаврова И.А.