Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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] Δ 2 0 -копии линейных порядков Алгебра и логика, 45, № 3. 354-370 07.02.231 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Фролов А.Н. [2006] Теоретико-множественные сводимости по решетке множеств Изв. Вузов. Мат., 1 (524), 57-67 07.04.289 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Фролов А. Н. [2003] Теоретико-множественная структура вычислимых множеств Изв. вузов. Мат. , № 10, 70–76 05.09.88 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Фролов А.Н. [2006] SET -1 –сводимость на классе вычислимых множеств Изв. Вузов. Мат., № 8, 69-75 07.05.120 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Алаев П.Е., Тербер Дж., Фролов А.Р. [2009] Вычислимость на линейных порядках, обогащенных предикатами Алгебра и логика, 48, № 5, 549-562 10.06.93 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ф Файзрахманов М.Х. Федоряев С.Т. Фокина Е.Б. Фрейвальд Р.В. Фролов А.Н. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.