RUS
ENG
Полная версия
ЖУРНАЛЫ
// Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science
// Архив
Math. Structures Comput. Sci., 2019, том 29, выпуск 8,
страницы
1217–1249
(Mi mscs2)
Эта публикация цитируется в
22
статьях
Subexponentials in non-commutative linear logic
Max Kanovich
a
,
Stepan Kuznetsov
b
,
Vivek Nigam
cd
,
Andre Scedrov
e
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.
Принята в печать:
02.05.2018
Язык публикации:
английский
DOI:
10.1017/S0960129518000117
Список цитирования
Реферативные базы данных:
ArXiv:
1709.03607
©
МИАН
, 2024