XII Tbilisi Symposium of Language, Logic and Computation. Lagodekhi, Georgia, 18–22 September, 2017сборник

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

---

• • 2017 An axiomatization of iteration-free PDL with loop
  • Balbiani P., Rybakov M.
  • в сборнике XII Tbilisi Symposium of Language, Logic and Computation. Lagodekhi, Georgia, 18–22 September, 2017, тезисы, с. 49-53