Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Запрягаев Александр Александрович
E-mail:

https://www.mathnet.ru/rus/person131775
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. А. А. Запрягаев, “Об интерпретациях арифметики Пресбургера в арифметиках Бюхи”, Докл. РАН. Матем., информ., проц. упр., 510 (2023),  3–7  mathnet  elib; A. A. Zapryagaev, “On interpretations of Presburger arithmetic in Büchi arithmetics”, Dokl. Math., 107:2 (2023), 89–92
2020
2. Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020),  1681–1693  mathnet  mathscinet  isi  scopus 3
2018
3. Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, Lecture Notes in Comput. Sci., 10703 (2018),  354–367  mathnet  mathscinet  isi  scopus 2

Доклады и лекции в базе данных Math-Net.Ru
1. Interpretations of Büchi arithmetics in themselves
А. А. Запрягаев
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
10 ноября 2022 г. 17:00   
2. Интерпретации арифметик Бюхи в себе
А. А. Запрягаев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 мая 2022 г. 18:30   
3. Булевы алгебры, теоремы Стоуна и Йонссона-Тарского
А. А. Запрягаев
Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
2 марта 2022 г. 18:00   
4. Presburger arithmetic and Visser's conjecture
A. A. Zapryagaev
Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г. 12:00   
5. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
2 декабря 2019 г. 18:30   
6. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
25 ноября 2019 г. 18:30   
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024