WoLLIC 2019: Logic, Language, Information, and Computationсборник
Статьи, опубликованные в сборнике
-
-
2019
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
-
Kanovich Max,
Kuznetsov Stepan,
Scedrov Andre
-
в сборнике WoLLIC 2019: Logic, Language, Information, and Computation, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11541, с. 373-391
DOI
-
-
2019
The complexity of multiplicative-additive Lambek calculus: 25 years later
-
Kanovich Max,
Kuznetsov Stepan,
Scedrov Andre
-
в сборнике WoLLIC 2019: Logic, Language, Information, and Computation, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11541, с. 356-372
DOI