|
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
Linking options:
https://www.mathnet.ru/eng/lncs32
|
Statistics & downloads: |
Abstract page: | 45 |
|