Journal of Logic and Computation
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Journal of Logic and Computation, 2020, том 30, выпуск 8, страницы 1681–1693
DOI: https://doi.org/10.1093/logcom/exaa050
(Mi jlc3)
 

Эта публикация цитируется в 3 научных статьях (всего в 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
Финансовая поддержка Номер гранта
Grantová Agentura České Republiky 19-05497S
Национальный исследовательский университет "Высшая школа экономики" 19-04-050
Министерство образования и науки Российской Федерации 5-100
Work of Fedor Pakhomov is supported by grant 19-05497S of GA ČR. Work of Alexander Zapryagaev was prepared within the framework of the Academic Fund Program at the National Research University Higher School of Economics (HSE) in 2020 (grant No. 19-04-050) and by the Russian Academic Excellence Project ``5-100''.
Поступила в редакцию: 21.01.2020
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jlc3
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:55
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024