Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Гончаров С.С. [1988] Счетные булевы алгебры Новосибирск, Научная книга 89.04.229 G книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1980] Вычислимые однозначные нумерации Алгебра и логика, 19, № 5, 507-551 81.07.19 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1993] Позитивные вычислимые нумерации Докл. РАН, 332, № 2, 142-143 94.05.73 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1977] О числе неавтоэквивалентных конструктивизаций Алгебра и логика, 16, № 3, 257-282 78.06.104 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1975] Автоустойчивость и вычислимые семейства конструктивизаций Алгебра и логика, 14, № 6, 647-680 76.07.140 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1982] Предельно эквивалентные конструктивизации Труды ИМ СО АН СССР, 2, 4-12 84.01.76 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1980] Проблема числа неавтоэквивалентных конструктивизаций Алгебра и логика, 19, № 6, 621-639 81.07.62 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1973] Коструктивизируемость суператомных булевых алгебр Алгебра и логика, 12, № 1, 31-40 73.11.290 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1980] Проблема числа неавтоэквивалентных конструктивизаций ДАН СССР, 251, № 2, 271-274 80.08.74 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1976] Неавтоэквивалентные конструктивизации атомных булевых алгебр Мат. заметки, 19 , № 6, 853-858 76.10.199 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1983] Позитивные нумерации семейств с однозначными нумерациями Алгебра и логика, 22, № 5, 481-488 84.12.49 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1992] Семейства с единственной позитивной нумерацией. Вычис. системы, 146, 96-104, Новосибирск 94.05.74 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [2010] Об автоустойчивости относительно сильных конструктивизаций почти простых моделей УМН, 65, № 5, 107-142 11.03.74 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1993] Эффективно бесконечные классы слабых конструктивных моделей Алгебра и логика, 32, № 6, 631-664 95.03.59 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1975] Некоторые свойства контруктивизации булевых алгебр Сибирск. матем. журнал, 16, № 2, 264-278 75.10.104 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1976] Ограниченные теории конструктивных булевых алгебр Сибирск. матем. журнал, 17, № 4, 797-812 77.02.88 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1988] Семейство с единственной однозначной, но не наименьшей нумерацией Труды ИМ СО АН СССР, 8, 42-58 88.10.49 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1996] Счетные булевы алгебры и разрешимость Новосибирск, Научная книга (Имеется перевод на английский язык.) 98.01.283 G книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [2008] О двух проблемах тьюринговой сложности для сильно минимальных моделей ДАН РАН, 420, № 5, 589-591 08.ВН11.87 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1983] Универсальные рекурсивно перечислимые булевы алгебры Сибирск. матем. журнал, 24, № 6, 36-43 84.03.405 SG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Березнюк С. Л., Васильева И.З, Гончаров С.С. [1994] Эффективно бесконечные классы вычислимых нумераций Университеты России, Москва ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. Нуртазин А.Т. [1973] Конструктивные модели полных разрешимых теорий Алгебра и логика, 12, № 2, 125-142 74.02.96 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Сорби А. [1997] Обобщенно- вычислимые нумерации и нетривиальные полурешетки Роджерса Алгебра и логика, 36, № 6, 621-641. 99.03.58 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С. [1993] Вычислимые классы конструктивизаций моделей конечного типа коструктивности Сибирск. матем. журнал, 34, № 5, 23-37 94.04.54 G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Новиков А.А. [1984] Примеры неавтосводимых систем Сибирск. матем. журнал, 25, № 4, 37-45 85.01.404 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Найт Дж. Ф. [2002] Вычислимые структурные и антиструктурные теоремы Алгебра и логика, 41, № 6, 639-681 03.09.75 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дзгоев В.Д., Гончаров С.С., [1980] Автоустойчивость моделей Алгебра и логика, 19, № 1, 45-58 80.12.94 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С, Доуни Р., Хиршвельд Д. [2003] Спектры степеней для отношений на булевых алгебрах Алгебра и логика, 42, № 2, 182-193 03.12.331 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Лемпп С., Соломон Д. Р. [2002] Фридберговские нумерации семейств n - вычислимых перечислимых множеств Алгебра и логика, 41, № 2, 253-254 03.04.53 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Хусаинов Б. М. [1997] О спектре степеней разрешимых отношений Докл. РАН, 352, № 3, 301-303 97.12.51 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С. [1998] Семейства с одноэлементной полурешеткой Роджерса Алгебра и логика, 37, № 1, 36-62 98.09.185 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. Гончаров С.С. [2001] О полурешетках Роджерса семейств арифметических множеств Алгебра и логика, 40, № 5, 507-522 02.06.64 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Ершов Ю.Л. [1999] Конструктивные модели Новосибирск, Научная книга (Имеется перевод на английский язык) 01.01.123 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Хусаинов Б. М. [2004] Сложность теорий вычислимых категоричных моделей Алгебра и логика, 43, № 6, 650-665. 05.12.70 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2005] Об элементарных теориях полурешеток Роджерса Алгебра и логика, 44, № 3, 261-268 06.03.226 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2008] Несколько замечаний о пополнениях нумераций Сибирск. матем. журнал, 49, № 5, 986-991 09.11.111 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С.,Когабаев Н.Т. [2008] О Σ 1 0 -классификации отношений на вычислимых структурах Вест. НГУ, Сер. мат., мех., инф., 8 № 4, 23-32 09.09.122 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., МакКой Ч. Ф., Найт Дж. Ф., Харизанова В.С. [2004] Относительно гипериммунные отношения на структурах Алгебра и логика, 43, № 2, 170-183 06.02.66 статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А., Гончаров С.С., Сорби А. [2006] Типы изоморфизмов полурешеток Роджерса семейств из различных уровней арифметической иерархии Алгебра и логика,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Морозов А. С., Найт Дж. Ф., Ромина А. В., Харизанова В. С. [2005] Об автоморфных кортежах элементов в вычислимых моделях Сибирск. матем. журнал,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И., Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А., Ремесленников В.Н., Гончаров С. С., Лавров И. А. [1977] Алгоритмические проблемы алгебры и теории нумераций. Сб. Фунд. исследования. Физ.-мат. и тех. науки, Новосибирск, Наука,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Г Гаврилов С. Гаврюшкин А.Н. Гайлит М.В. Гермес Г. Гильберт Д. Голунков Ю.В. Гончаров С.С. Гришин В.Н. Гуревич Ю.Ш. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ershov Yu. L., Goncharov S.S. [2000] Constructive Models Kluwer Academic/Plenum, NY (Перевод книги Гончаров С.С., Ершов Ю.Л. «Конструктивные модели”, 1999.) ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Бадаев С.А. [1991] Об одной проблеме С.С.Гончарова Сибирск. матем. журнал, 32, № 3, 212-214 91.10.35 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... нам пришлось в ряде случаев подсоединять к фамилии часть инициалов, с тем, чтобы избежать случаев однофамильцев или когда фамилия входит ... ... "Вычислимо перечислимые множества и степени" (русский вариант); G – Гончаров С.С., Ершов Ю.Л. "Конструктивные модели". 3. Желающий сразу ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.