|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Complexity of the Lambek Calculus and Its Extensionsстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 15 февраля 2024 г.
- Автор: Kuznetsov Stepan L.
- Сборник: Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
- Серия: Studies in Computational Intelligence (SCI)
- Том: 1081
- Год издания: 2023
- Издательство: Springer International Publishing AG
- Местоположение издательства: Cham, Switzerland
- Первая страница: 1
- Последняя страница: 29
- DOI: 10.1007/978-3-031-21780-7_1
- Аннотация: We survey results on algorithmic complexity of extensions of the Lambek calculus. We classify these extensions as “harmless,” which do not increase complexity, and “dangerous,” which make decision problems undecidable. For the latter, we focus on extensions with subexponentials and with Kleene star.
- Добавил в систему: Кузнецов Степан Львович