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

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

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






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


Lecture Notes in Computer Science, 2018, том 10900, страницы 228–245
DOI: https://doi.org/10.1007/978-3-319-94205-6_16
(Mi lncs29)
 

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

A logical framework with commutative and non-commutative subexponentials

Max Kanovicha, Stepan Kuznetsovba, Vivek Nigamcd, Andre Scedrovae

a National Research University Higher School of Economics, Moscow, Russia
b Steklov Mathematical Institute of RAS, Moscow, Russia
c Federal University of Paraíba, João Pessoa, Brazil
d fortiss, Munich, Germany
e University of Pennsylvania, Philadelphia, USA
Финансовая поддержка Номер гранта
Российский научный фонд 17-11-01294
Конкурс «Молодая математика России»
Российская академия наук - Федеральное агентство научных организаций PRAS-18-01
National Council for Scientific and Technological Development (CNPq) 304193/2015-1
The work of Max Kanovich and Andre Scedrov was supported by the Russian Science Foundation under grant 17-11-01294 and performed at National Research University Higher School of Economics, Moscow, Russia. The work of Stepan Kuznetsov was supported by the Young Russian Mathematics award, by the Program of the Presidium of the Russian Academy of Sciences No. 01 ‘Fundamental Mathematics and Its Applications’ under grant PRAS-18-01, and by the Russian Foundation for Basic Research grant 18-01-00822. The work of Vivek Nigam was supported by CNPq grant number 304193/2015-1. Sections 1, 2, 3, 7 and 8 were contributed jointly and equally by all co-authors; Sect. 4 was contributed by Scedrov and Kanovich. Section 5 was contributed by Nigam. Section 6 was contributed by Kuznetsov.
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/lncs29
  • Эта публикация цитируется в следующих 9 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024