Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Морозов А.С. [1993] Функциональные деревья и автоморфизмы моделей Алгебра и логика, 32, № 1, 54-72 95.03.52 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1982] Счетные однородные булевы алгебры Алгебра и логика, 21, № 3, 269-282 83.11.111 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1991] О теориях классов групп рекурсивных перестановок Труды ИМ СО РАН, 12, 91-104 ? G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1989] Элементарные свойства групп рекурсивных перестановок ДАН СССР, 39, № 2, 274-276 89.09.169 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1990] О рекурсивных автоморфизмах атомных булевых алгебр Алгебра и логика, 29, № 4, 464-490 91.07.66 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [2005] О допустимых предикатах на допустимых множествах Сибирск. матем. журнал, 46, № 4, 841-850 08.01.216 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1985] Автоморфизмы конструктивизаций булевых алгебр Сибирск. матем. журнал, 26, № 4, 98-110 85.12.280 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С., Пузаренко В.Г. [2004] О Σ-подмножествах натуральных чисел Алгебра и логика, 43, № 3, 291–320 05.01.111 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1985] О конструктивных булевых алгебрах с почти тождественными автоморфизмами Мат. заметки, 37, № 4, 478-483 85.10.298 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1987] Об одном классе рекурсивно перечислимых множеств Сибирск. матем. журнал 28, № 2, 124-128 87.07.63 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1997] Тьюрингова сводимость как алгебраическая вложимость Сибирск. матем. журнал, 38, № 2, 362-364 97.11.129 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1982] Сильная конструктивизируемость счетно насыщенных булевых алгебр Алгебра и логика, 21, № 2, 193-203 83.08.314 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1986] О вычислимых группах автоморфизмов моделей Алгебра и логика, 25, № 4, 415-424 88.06.88 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Морозов А.С. [1983] Группы рекурсивных автоморфизмов конструктивных булевых алгебр Алгебра и логика, 22, № 2, 138-158 84.05.74 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гончаров С.С., Морозов А. С., Найт Дж. Ф., Ромина А. В., Харизанова В. С. [2005] Об автоморфных кортежах элементов в вычислимых моделях Сибирск. матем. журнал, 46, № 3, 523-532 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.М Маканин Г.С. МакКой Ч. Ф. Максимова Л. Л. МальцевАИ МальцевАнА МанФК Манин Ю.И. Маранджан Г.Б. Марков А.А. Марченков С. С. Маслова Т.М. Матиясевич Ю.В. Матросов В.Л. Медведев Ю.... ... Мендельсон Э. Микенберг А.М. Миллер С. Минский М. Михеев В.Л. Мокацян А.А. Морозов А. С. МучникАА МучникАнА Мясников А.Г. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.