|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedingsсборник
- Год издания: 2017
- Серия: Lecture Notes in Computer Science
- Том: 10472
- Место издания: Springer
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2017 Undecidability of the Lambek calculus with subexponential and bracket modalities
- Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- в сборнике Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 10472, с. 326-340 DOI