Alexander Zapryagaev

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Quantifier Elimination

Decision Procedures

Algebraic Structure

Top Venues

J. Log. Comput.

Publications

Fedor Pakhomov, Alexander Zapryagaev
Multi-dimensional Interpretations of Presburger Arithmetic in Itself. J. Log. Comput. 30 (8) (2020)
Alexander Zapryagaev, Fedor Pakhomov
Interpretations of Presburger Arithmetic in Itself. LFCS (2018)