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

Глава

Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой

С. 43-44.
Рыбаков М. Н., Котикова Е. А.

Рассматривается первопорядковая темпоральная логика QCTL и её алгоритмические свойства. Показано, что эта логика не явялется рекурсивно перечислимой.

В книге

Под редакцией: В. И. Маркин М.: Современные тетради, 2017.