Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

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

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




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

Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science, 2019, том 29, выпуск 8, страницы 1217–1249
DOI: https://doi.org/10.1017/S0960129518000117 (Mi mscs2) 		 
Эта публикация цитируется в 22 научных статьях (всего в 22 статьях)

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.
Список цитирования (22)
DOI: https://doi.org/10.1017/S0960129518000117
Финансовая поддержка Номер гранта
Российский научный фонд 16-11-10252

Принята в печать: 02.05.2018
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mscs2
    • Эта публикация цитируется в следующих 22 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024