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