Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
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