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