Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
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