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

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

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






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


Lecture Notes in Comput. Sci., 2020, том 12300, страницы 3–16 (Mi lncs43)  

A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential

Stepan L. Kuznetsovab

a Steklov Mathematical Institute of RAS, Moscow, Russia
b National Research University Higher School of Economics, Moscow, Russia

Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 5–100
MK-430.2019.1
Конкурс «Молодая математика России»
Российский фонд фундаментальных исследований 20-01-00435
Research work towards this paper was supported by the HSE University Basic Research Program funded by the Russian Academic Excellence Project ‘5–100,’ by grant MK-430.2019.1 of the President of Russia, by the Young Russian Mathematics Award, and by the Russian Foundation for Basic Research grant 20-01-00435.


DOI: https://doi.org/10.1007/978-3-030-62077-6_1


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

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

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

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:14
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022