Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, Lecture Notes in Comput. Sci., 2018, Volume 10703,Pages <nobr>354–367</nobr>

RUS ENG

JOURNALS // Lecture Notes in Computer Science // Archive

Lecture Notes in Comput. Sci., 2018, Volume 10703, Pages 354–367 (Mi lncs32)

This article is cited in 2 papers

Interpretations of Presburger Arithmetic in Itself

Alexander Zapryagaev, Fedor Pakhomov

Steklov Mathematical Institute, Russian Academy of Sciences, 8, Gubkina Street, Moscow 119991, Russian Federation

Language: English

DOI: 10.1007/978-3-319-72056-2_22

Cited by

Bibliographic databases:

ArXiv: 1709.07341

© Steklov Math. Inst. of RAS, 2024