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