Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2017
On the reflection calculus with partial conservativity operators
-
Beklemishev Lev D.
-
в сборнике Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 10388, с. 48-67
DOI
-
-
2017
The Lambek calculus with iteration: two variants
-
Stepan Kuznetsov
-
в сборнике Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 10388, с. 182-198
DOI