Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Zapryagaev, Aleksandr Aleksandrovich

Statistics Math-Net.Ru
Presentations: 3

Number of views:
This page:43
E-mail:

http://www.mathnet.ru/eng/person131775
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2020
1. Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020),  1681–1693  mathnet  mathscinet  isi  scopus
2018
2. Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, Lecture Notes in Comput. Sci., 10703 (2018),  354–367  mathnet  mathscinet  isi  scopus

Presentations in Math-Net.Ru
1. Presburger arithmetic and Visser's conjecture
A. A. Zapryagaev
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 12:00   
2. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
Seminars "Proof Theory" and "Logic Online Seminar"
December 2, 2019 18:30   
3. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
Seminars "Proof Theory" and "Logic Online Seminar"
November 25, 2019 18:30   
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021