Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
М Маканин Г.С. МакКой Ч. Ф. Максимова Л. Л. МальцевАИ МальцевАнА МанФК Манин Ю.И. Маранджан Г.Б. Марков А.А. Марченков С. С. Маслова Т.М. Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1960] Об одном соответствии между кольцами и группами Мат. сборник, 50, № 3, 257-266 61.02.155 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1961] Неразрешимость элементарной теории конечных групп ДАН СССР, 138, № 4, 771-774 62.05.288. статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1959] Регулярные произведения моделей Изв. АН СССР, сер. мат., 23, № 4, 489-502 60.12555 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1963] Полно нумерованные множества Алгебра и логика, 2 , № 2, 4-29 64.03.56 EO статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1961] Конструктивные алгебры, I Успехи мат. наук, 16, № 3, 3-60 62.11.229 EOG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1965] Позитивные и негативные нумерации ДАН СССР, 160, № 2, 278-280 65.06.56 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1960] О свободных разрешимых группах ДАН СССР, 130, № 3, 495-498 61.03.191 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев Ан. А. [1981] О строении m -скачка Сибирск. матем. журнал, 22 , № 4, 129-135 81.12.303 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. (ред.) [1965] Сб. переводов «Математическая логика и ее применения» М., Мир ? книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1970] Алгебраические системы М., Наука (Имеется перевод на английский язык.) 70.07.280 EG книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев Ан. А. [1982] Верхние полурешетки нумераций Сибирск. матем. журнал, 23 , № 4, 122-136 82.12.307 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1962] Строго родственные модели и рекурсивно совершенные алгебры ДАН СССР, 145, № 2, 276-279 64.02.109 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1964] К теории вычислимых семейств объектов Алгебра и логика, 3 , № 4, 5-31 65.04.67 EOG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев Ан. А. [1985] Строение полурешетки btt 1 -степеней Сибирск. матем. журнал, 26 , № 2 , 132-139 85.08.330 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1976] Избранные труды, т.I, т. II М., Наука (Имеется перевод на английский язык.) 76.11.202; 76.12.89 G книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев Ан. А. [1987] Частичное упорядочение степеней альтернативной m -сводимости Сибирск. матем. журнал, 28 , № 1 , 172-181 87.07.61 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев Ан. А. [1984] К строению семейств иммунных, гипериммунных и гипергипериммунных множеств Мат. сборник, 124, № 3, 307-319 84.11.21 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1962] Аксиоматизируемые классы локально свободных алгебр некоторых типов Сибирск. матем. журнал, 3, № 5, 729-743 63.07.211 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1965];[1986] Алгоритмы и рекурсивные функции М., Наука (Имеются переводы на немецкий и английский языки.) 66.08.63; 87.03.61 EORSG книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А.И. [1961] Об элементарных свойствах линейных групп Сб. Некоторые проблемы математики и механики, Новосибирск, Из-во АН СССР, 110-132 63.01.279 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1960] О неразрешимости элементарных теорий некоторых полей Сибирск. матем. журнал, 1, № 1, 71-77; замеч.- 2, № 4, 639 61.10.273 62.06.243 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И. [1961] Эффективная неотделимость множества тождественно истинных и конечно опровержимых формул некоторых элементарных теорий ДАН СССР, 139, № 4, 802-805 62.05.82 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И., Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А., Ремесленников В.Н., Гончаров С. С., Лавров И. А. [1977] Алгоритмические проблемы алгебры и теории нумераций. Сб. Фунд. исследования. Физ.-мат. и тех. науки, Новосибирск, Наука, 8-12 78.01.39 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.