7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)сборник

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

---

• 
  • 2015 On Completeness of Logics Enriched with Transitive Closure Modality
  • Shapirovsky Ilya, Zolin Evgeny
  • в сборнике 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), серия TACL, тезисы, с. 1-3