RUS
ENG
Полная версия
ЖУРНАЛЫ
// Logical Methods in Computer Science
// Архив
Log. Methods Comput. Sci., 2023, том 19, выпуск 4,
страницы
32–27
(Mi lmcs2)
Relational models for the Lambek calculus with intersection and constants
Stepan L. Kuznetsov
Steklov Mathematical Institute of RAS, 8 Gubkina St., Moscow, Russia
Принята в печать:
27.09.2023
Язык публикации:
английский
DOI:
10.46298/lmcs-19(4:32)2023
Реферативные базы данных:
ArXiv:
2210.00654
©
МИАН
, 2025
