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

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

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






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


Lecture Notes in Comput. Sci., 2021, том 12842, страницы 317–334 (Mi lncs45)  

Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, 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.


DOI: https://doi.org/10.1007/978-3-030-86059-2_19


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

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

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

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