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 Kanovichab, Stepan Kuznetsovcb, Andre Scedrovdb

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