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

Глава

On complexity of propositional linear-time temporal logic with finitely many variables

P. 313-316.
Rybakov M., Shkatov D.