RUS
ENG
Полная версия
ЖУРНАЛЫ
// Lecture Notes in Computer Science
// Архив
Lecture Notes in Comput. Sci., 2019, том 11541,
страницы
356–372
(Mi lncs35)
Эта публикация цитируется в
7
статьях
The complexity of multiplicative-additive Lambek calculus: 25 years later
Max Kanovich
ab
,
Stepan Kuznetsov
cb
,
Andre Scedrov
db
a
University College London, London, UK
b
National Research University Higher School of Economics, Moscow, Russia
c
Steklov Mathematical Institute of the RAS, Moscow, Russia
d
University of Pennsylvania, Philadelphia, USA
Язык публикации:
английский
DOI:
10.1007/978-3-662-59533-6_22
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024