|
Эта публикация цитируется в 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
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs29
|
|