|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsсборник
- Год издания: 2016
- Серия: Lecture Notes in Computer Science
- Том: 9804
- Место издания: Springer
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2016 Undecidability of the Lambek calculus with a relevant modality
- 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, место издания Springer, том 9804, с. 240-256 DOI