Запрягаев Александр Александрович

Публикации в базе данных Math-Net.Ru

1. Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
   
   Докл. РАН. Матем., информ., проц. упр., 510 (2023),  3–7
2. Multi-dimensional Interpretations of Presburger Arithmetic in Itself
   
   J. Logic Comput., 30:8 (2020),  1681–1693
3. Interpretations of Presburger Arithmetic in Itself
   
   Lecture Notes in Comput. Sci., 10703 (2018),  354–367