Logic, Language, and Securityсборник

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

---

• 
  • 2020 A Π^0_1-bounded fragment of infinitary action logic with exponential
  • Kuznetsov Stepan L.
  • в сборнике Logic, Language, and Security, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12300, с. 3-16 DOI