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

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

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






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


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

Interpretations of Presburger Arithmetic in Itself

Alexander Zapryagaev, Fedor Pakhomov

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

Финансовая поддержка Номер гранта
Российский научный фонд 16-11-10252
This work is supported by the Russian Science Foundation under grant 16-11-10252.


DOI: https://doi.org/10.1007/978-3-319-72056-2_22


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

ArXiv: 1709.07341
Тип публикации: Статья
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/lncs32

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:1

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018