RUS  ENG
Полная версия
ЖУРНАЛЫ // Lecture Notes in Computer Science // Архив

Lecture Notes in Comput. Sci., 2018, том 10703, страницы 354–367 (Mi lncs32)

Эта публикация цитируется в 2 статьях

Interpretations of Presburger Arithmetic in Itself

Alexander Zapryagaev, Fedor Pakhomov

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

Язык публикации: английский

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



Реферативные базы данных:
ArXiv: 1709.07341


© МИАН, 2024