• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables

P. 396-414.
Rybakov M., Shkatov D.

В книге

Под науч. редакцией: B. Fisher, T. Uustalu. Vol. 11187. Springer, 2018.