Alexander Zapryagaev

According to our database, Alexander Zapryagaev authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Multi-dimensional Interpretations of Presburger Arithmetic in Itself.

Fedor Pakhomov, Alexander Zapryagaev

J. Log. Comput., 2020

2018

Interpretations of Presburger Arithmetic in Itself.

Alexander Zapryagaev, Fedor Pakhomov

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018