RUS
ENG
Полная версия
ЖУРНАЛЫ
// Journal of Logic and Computation
// Архив
J. Logic Comput., 2020, том 30, выпуск 8,
страницы
1681–1693
(Mi jlc3)
Эта публикация цитируется в
3
статьях
Multi-dimensional Interpretations of Presburger Arithmetic in Itself
Fedor Pakhomov
ab
,
Alexander Zapryagaev
c
a
Institute of Mathematics of the Czech Academy of Sciences, Žitná 25, 115 67, Praha 1, Czech Republic
b
Steklov Mathematical Institute of Russian Academy of Sciences, 8, Gubkina Str., Moscow, 119991, Russian Federation
c
National Research University Higher School of Economics, 6, Usacheva Str., Moscow, 119048, Russian Federation
Поступила в редакцию:
21.01.2020
Язык публикации:
английский
DOI:
10.1093/logcom/exaa050
Список цитирования
Реферативные базы данных:
ArXiv:
2004.03404
©
МИАН
, 2024