Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Роджерс Х. [1972] Теория рекурсивных функций и эффективная вычислимость М., Мир (Перевод книги Rogers H. “Theory of recursive functions and effective computability”, 1967.) 73.08.39 E книга ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Р Ремесленников В.Н. РобинсонА РобинсонДж. РобинсонРМ Рогожин Ю.В. Роджерс Х. Розинас М.Г. Ромина А. В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1984] Решение задачи Роджерса о соотношении сильной и слабой теорем о рекурсии ДАН СССР, 279, № 5, 1040-1044 85.06.40 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Подзоров С.Ю. [2004] О предельности наибольшего элемента полурешетки Роджерса Труды ИМ СО РАН, 7, № 2, 98-108 08.01.207 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [2006] Полурешетки Роджерса конечных частично упорядоченных множеств Алгебра и логика, 45, № 1, 44-84 06.11.23 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Подзоров С.Ю. [2003] Начальные сегменты в полурешетках Роджерса Σ n 0 -вычислимых нумераций Алгебра и логика, 42, № 2, 211-225 03.Г12.246 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Подзоров С.Ю. [2005] О локальном строении полурешетки Роджерса Σ n 0 -вычислимых нумераций Алгебра и логика, 44, № 2, 148-172 06.05.77 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Сорби А. [1997] Обобщенно- вычислимые нумерации и нетривиальные полурешетки Роджерса Алгебра и логика, 36, № 6, 621-641. 99.03.58 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л. [2003] Необходимые условия изоморфизма полурешеток Роджерса конечных частично упорядоченных множеств Алгебра и логика, 42, № 4, 413-421 04.02.32 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Ро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сийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Подзоров С.Ю. [2002] Минимальные покрытия в полурешетке Роджерса Σ n 0 -вычислимых нумераций Сибирск. матем. журнал, 43, № 4, 769-778 03.04.54 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2006] Типы изоморфизмов полурешеток Роджерса семейств из различных уровней арифметической иерархии Алгебра и логика, 45, № 6, 637-654 07.07.125 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... не найден. Комбинация букв REOSG (в любом наборе) в шестой строке означает, что на данную работу имеется ссылка в одной из следующих книг: R – Роджерс Х. "Теория рекурсивных функций и эффективная вычислимость" (русский вариант); E – Ершов Ю.Л. "Теория нумераций"; O – Odifreddi P. “Classical ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.