Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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] Типы изоморфизмов полурешеток Роджерса семейств из различных уровней арифметической иерархии Алгебра и логика,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Б Бадаев С.А. Барздинь Я.М. Батыршин И.И. Белеградек О.В. БеляевВН БеляевВЯ Березин С.А. Березнюк С. Л. Бернайс П. Бокуть Л.А. Бубис М.И. Буйлина Е.М. Булитко ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.