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