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

Статья

Complexity and expressivity of propositional dynamic logics with finitely many variables

Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 539-547.
Rybakov M., Shkatov D.