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

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

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






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


Studies in Computational Intelligence, 2022, том 999, страницы 1–24
DOI: https://doi.org/10.1007/978-3-030-90138-7_1
(Mi sci1)
 

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

Decidable fragments of calculi used in CatLog

Max. I. Kanovichab, Stepan G. Kuznetsovc, Stepan L. Kuznetsovbd, Andre Scedrove

a University College London, London, UK
b Computer Science Department, HSE University, Moscow, Russia
c Mathematics Department, HSE University, Moscow, Russia
d Steklov Mathematical Institute of RAS, Moscow, Russia
e Department of Mathematics, University of Pennsylvania, Philadelphia, USA
Финансовая поддержка Номер гранта
Engineering and Physical Sciences Research Council EP/R006865/1
Научный фонд НИУ ВШЭ 21-04-027
Министерство науки и высшего образования Российской Федерации MK-1184.2021.1.1
Российский фонд фундаментальных исследований 20-01-00435
The work of Max Kanovich was partially supported by EPSRC Programme Grant EP/R006865/1: “Interface Reasoning for Interacting Systems (IRIS).” The part by Stepan G. Kuznetsov was prepared within the framework of the Academic Fund Program at HSE University in 2021–2022 (grant № 21-04-027). The work of Stepan L. Kuznetsov and the early part of the work of Andre Scedrov (until July 2020) was performed within the framework of the HSE University Basic Research Program. The work of Stepan L. Kuznetsov was also partially supported by the Council of the President of Russia for Support of Young Russian Researchers and Leading Research Schools of the Russian Federation (grant MK-1184.2021.1.1) and by the Russian Foundation for Basic Research (grant № 20-01-00435).
Реферативные базы данных:
Тип публикации: Статья
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sci1
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:52
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024