|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Formal Grammar, 24th International Conference, FG 2019сборник
- Год издания: 2019
- Серия: Lecture Notes in Computer Science
- Том: 11668
- Место издания: Springer Berlin, Heidelberg
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2019 Undecidability of a Newly Proposed Calculus for CatLog3
- Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- в сборнике Formal Grammar, 24th International Conference, FG 2019, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11668, с. 67-83 DOI