?
On complexity of propositional linear-time temporal logic with finitely many variables
P. 313–316.
Рыбаков М. Н., Shkatov D.
Рыбаков М. Н., Shkatov D., Theoretical Computer Science 2022 Vol. 925 P. 45–60
Добавлено: 12 мая 2022 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Artale A., Kontchakov R., Kovtunova A. и др., Artificial Intelligence 2021 Vol. 299 Article 103536
Добавлено: 30 сентября 2021 г.
Рыбаков М. Н., Shkatov D., Logic Journal of the IGPL 2022 Vol. 30 No. 3 P. 519–533
Добавлено: 29 мая 2021 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2021 Vol. 31 No. 2 P. 426–443
Добавлено: 24 сентября 2020 г.
Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 523–539.
Добавлено: 27 августа 2020 г.
Рыбаков М. Н., Shkatov D., , in: Theoretical Aspects of Computing – ICTAC 2018Vol. 11187.: Springer, 2018. P. 396–414.
Добавлено: 8 октября 2019 г.