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

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

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






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


Math. Structures Comput. Sci., 2018, страницы 1–33 (Mi mscs2)  

Subexponentials in non-commutative linear logic

Max Kanovicha, Stepan Kuznetsovb, Vivek Nigamcd, Andre Scedrove

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 GmbH, Munich, Germany
e University of Pennsylvania, Philadelphia, U.S.A.

Финансовая поддержка Номер гранта
Российский научный фонд 16-11-10252


DOI: https://doi.org/10.1017/S0960129518000117


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

ArXiv: 1709.03607
Тип публикации: Статья

Принята в печать:02.05.2018
Язык публикации: английский

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

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

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