Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Бадаев С.А. [1977] О позитивных нумерациях Сибирск. матем. журнал, 18, № 3, 483-496. 77.12.49 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1974] О несравнимых нумерациях Сибирск. матем. журнал, 15, № 4, 730-738 74.11.99 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1993] Минимальные нумерации Труды ИМ СО РАН, 25, 3-34 94.06.96 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1991] О слабо предполных позитивных эквивалентностях Сибирск. матем. журнал, 32, № 2, 166-169 91.09.47 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1994] Минимальные нумерации позитивно вычислимых семейств Алгебра и логика, 33, № 3, 233-254. 95.01.69 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1977] О вычислимых нумерациях семейств общерекурсивных функций Алгебра и логика, 16, № 2, 129-148 78.03.71 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1991] Об одной проблеме С.С.Гончарова Сибирск. матем. журнал, 32, № 3, 212-214 91.10.35 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1993] О мощности полурешеток нумераций недискретных семейств Сибирск. матем. журнал, 34, № 5, 3-16; 236 94.04.40 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С. [1998] Семейства с одноэлементной полурешеткой Роджерса Алгебра и логика, 37, № 1, 36-62 98.09.185 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. Гончаров С.С. [2001] О полурешетках Роджерса семейств арифметических множеств Алгебра и логика, 40, № 5, 507-522 02.06.64 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2005] Об элементарных теориях полурешеток Роджерса Алгебра и логика, 44, № 3, 261-268 06.03.226 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2008] Несколько замечаний о пополнениях нумераций Сибирск. матем. журнал, 49, № 5, 986-991 09.11.111 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Подзоров С.Ю. [2002] Минимальные покрытия в полурешетке Роджерса Σ n 0 -вычислимых нумераций Сибирск. матем. журнал, 43, № 4, 769-778 03.04.54 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2006] Типы изоморфизмов полурешеток Роджерса семейств из различных уровней арифметической иерархии Алгебра и логика, 45, № 6, 637-654 07.07.125 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Б Бадаев С.А. Барздинь Я.М. Батыршин И.И. Белеградек О.В. БеляевВН БеляевВЯ Березин С.А. Березнюк С. Л. Бернайс П. Бокуть Л.А. Бубис М.И. Буйлина Е.М. Булитко В.К. Буллос Дж. Буренин Е.А. Бухараев Н.Р. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.