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 Pakhomovab, Alexander Zapryagaevc

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