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