Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Калверт У., Харизанова В. С., Найт Дж. Ф., Миллер С. [2006] Индексные множества вычислимых моделей Алгебра и логика, 45, № 5, 538-574 08.01.213 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., МакКой Ч. Ф., Найт Дж. Ф., Харизанова В.С. [2004] Относительно гипериммунные отношения на структурах Алгебра и логика, 43, № 2, 170-183 06.02.66 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Морозов А. С., Найт Дж. Ф., Ромина А. В., Харизанова В. С. [2005] Об автоморфных кортежах элементов в вычислимых моделях Сибирск. матем. журнал, 46, № 3, 523-532 07.05.125 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Х Харизанова В. С. Хиршвельд Д. ХисамиевАН ХисамиевЗГ ХисамиевНГ Ходжаянц М. Хусаинов Б.М. Хуторецкий А.Б. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.