|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Undecidability of the Lambek calculus with a relevant modalityстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 8 февраля 2017 г.
- Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- Сборник: Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
- Серия: Lecture Notes in Computer Science
- Том: 9804
- Год издания: 2016
- Место издания: Springer
- Первая страница: 240
- Последняя страница: 256
- DOI: 10.1007/978-3-662-53042-9_14
- Добавил в систему: Кузнецов Степан Львович