Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Фокина Е.Б. [2005] О сложности категоричных теорий с вычислимыми моделями Вестн. НГУ, Серия мат., мех., инфор., 5, № 2, 78-86 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Фокина Е. Б. [2006] О спектрах вычислимых моделей Вестн. НГУ, Серия мат., мех., инфор., 6, № 4, 93–97 07.06.71 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Фокина Е.Б. [2007] Индексные множества разрешимых моделей Сибирск. матем. журнал, 48, № 5, 1167-1179 09.08.117 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Фокина Е.Б. [2008] Алгоритмические свойства языков с двумя унарными функциональными символами Вестн. НГУ, Серия мат., мех., инфор., 8. № 1, 90-101 08.ВН11.116 статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ф Файзрахманов М.Х. Федоряев С.Т. Фокина Е.Б. Фрейвальд Р.В. Фролов А.Н. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.