Zapryagaev Aleksandr Aleksandrovich

Publications in Math-Net.Ru

1. On interpretations of Presburger arithmetic in Büchi arithmetics
   
   Dokl. RAN. Math. Inf. Proc. Upr., 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