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

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

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






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


Annals of Pure and Applied Logic, 2022, том 173, выпуск 2, страницы 103057–33
DOI: https://doi.org/10.1016/j.apal.2021.103057
(Mi apal3)
 

Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)

Infinitary action logic with exponentiation

Stepan L. Kuznetsov, Stanislav O. Speranski

Steklov Mathematical Institute, 8 Gubkina St., Moscow 119991, Russia
Финансовая поддержка Номер гранта
Российский научный фонд 20-41-05002
The work was supported by the Russian Science Foundation, in cooperation with the Austrian Science Fund, under grant RSF–FWF 20-41-05002.
Поступила в редакцию: 01.04.2020
Исправленный вариант: 29.06.2021
Принята в печать: 08.10.2021
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/apal3
  • Доклады по теме:
    Эта публикация цитируется в следующих 7 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:153
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024