Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedingsсборник

Статьи, опубликованные в сборнике

---

• 
  • 2018 A logical framework with commutative and non-commutative subexponentials
  • Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
  • в сборнике Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, серия Lecture Notes in Artificial Intelligence, место издания Springer, том 10900, с. 228-245 DOI