RUS  ENG
Полная версия
ЖУРНАЛЫ // Lecture Notes in Computer Science // Архив

Lecture Notes in Comput. Sci., 2021, том 13027, страницы 258–274 (Mi lncs46)

Эта публикация цитируется в 1 статье

Relational models for the Lambek calculus with intersection and unit

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Язык публикации: английский

DOI: 10.1007/978-3-030-88701-8_16



Реферативные базы данных:


© МИАН, 2024