Новости
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
Поиск
Алаев П.Е. ...
Алаев П.Е. [2008] Обобщенная иерархия Фейнера Сибирск. матем. журнал, 49, № 2, 243-255 08.10.137 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Алаев П.Е., Тербер Дж., Фролов А.Р.
Алаев П.Е., Тербер Дж., Фролов А.Р. [2009] Вычислимость на линейных порядках, обогащенных предикатами Алгебра и логика, 48, № 5, 549-562 10.06.93 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на А
А Агафонов В.Н. Адян С.И. Айзенштейн М.Х. Акопджанян Д.Г. Алаев П.Е. Алтаев А.В. Амстиславский В.И. Арсланов M.M. Асатрян О.С. Ахтямов Р.В. Ашаев И.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.