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

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

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






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


Lecture Notes in Comput. Sci., 2018, том 10900, страницы 228–245 (Mi lncs29)  

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.


DOI: https://doi.org/10.1007/978-3-319-94205-6_16


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

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

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

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:11

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019