Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, Lecture Notes in Computer Science, 2018, Volume 10703, Pages 354

Lecture Notes in Computer Science

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Lecture Notes in Computer Science, 2018, Volume 10703, Pages 354–367
DOI: https://doi.org/10.1007/978-3-319-72056-2_22 (Mi lncs32)

This article is cited in 2 scientific papers (total 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

Citations (2)

DOI: https://doi.org/10.1007/978-3-319-72056-2_22

Funding agency	Grant number
Russian Science Foundation	16-11-10252
This work is supported by the Russian Science Foundation under grant 16-11-10252.

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/lncs32

This publication is cited in the following 2 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	72