|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Relational Models for the Lambek Calculus with Intersection and Unitстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 22 декабря 2021 г.
- Автор: Kuznetsov Stepan L.
- Сборник: Relational and Algebraic Methods in Computer Science - RAMiCS 2021
- Серия: Lecture Notes in Computer Science
- Том: 13027
- Год издания: 2021
- Издательство: Springer International Publishing AG
- Местоположение издательства: Cham, Switzerland
- Первая страница: 258
- Последняя страница: 274
- DOI: 10.1007/978-3-030-88701-8_16
- Добавил в систему: Кузнецов Степан Львович