|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedingsсборник
- Год издания: 2018
- Серия: Lecture Notes in Computer Science
- Том: 10950
- Издательство: Springer
- Местоположение издательства: New York
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2018 Bracket induction for Lambek calculus with bracket modalities
- Morrill Glyn, Kuznetsov Stepan, Kanovich Max, Scedrov Andre
- в сборнике Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings, серия Lecture Notes in Computer Science, издательство Springer (New York), том 10950, с. 84-101 DOI