Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
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