Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Тайцлин М.А. [1964] Разрешимость некоторых элементарных теорий Алгебра и логика, 3, № 3, 5-12 65.04.248 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1966] Об элементарных теориях коммутативных полугрупп Алгебра и логика, 5, № 4, 55-89 67.06.139 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1977] О некоторых алгоритмических проблемах для целочисленных матриц Сб. Математика и механика, 134, Каз. ГУ, Алма-Ата ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1965] Об элементарных теориях классических алгебр Ли ДАН СССР, 164, № 6, 1443-1445 66.03.266 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1974] О проблеме изоморфизма для коммутативных полугрупп Мат. сборник, 93, № 1, 103-128 74.06.219 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1965] О теории конечных колец с делением Алгебра и логика, 4, № 4, 103-114 66.06.253 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1964] Об элементарных теориях свободных нильпотентных алгебр Алгебра и логика, 3, № 5-6, 57-63 65.11.278 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1968] О простых идеалах в кольцах многочленов Алгебра и логика, 7, № 6, 64-66 69.12.493 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1966] Об элементарных теориях коммутативных полугрупп c сокращением Алгебра и логика, 5, № 1, 51-69 67.06.138 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1962] Неразрешимость элементарной теории коммутативных полугрупп с сокращением Сибирск. матем. журнал, 3, № 2, 308-309 62.09.52 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1970] Об элементарных теориях решеток подгрупп Алгебра и логика, 9, № 4, 473-483 71.03.100 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1967] Об алгоритмических проблемах коммутативных полугрупп ДАН СССР, 178, № 4, 786-789 68.07.227 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1967] Еще несколько примеров неразрешимых теорий Алгебра и логика, 6, № 3, 105-111 68.05.123 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л., Тайцлин М.А. [1963] Неразрешимость некоторых теорий Алгебра и логика, 2, № 5, 37-41 64.10.248 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1968] Об элементарных теориях решеток идеалов в кольцах многочленов Алгебра и логика, 7, № 2, 94-97 68.12.264 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1963] Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец Алгебра и логика, 2, № 3, 29-51. 64.07.311 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Тайцлин М.А. [1962] Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул элементарной теории структур ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов.Ю.Л., Лавров И.А., Тайманов А.Д.., Тайцлин М.А. [1965] Элементарные теории Успехи мат. наук, 20, № 4, 37-108 67.04.90 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Т Тайманов А.Д.. Тайцлин М.А. Таласбаева Ж.Т. Тамме Т. Тербер Дж. Титов Н.Н. Трахтенброт Б.А. Тусупов Д. А. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.