Свойства конечной модели для временной логики с прошлым : доклад, тезисы доклада

Телефон: +7 (391) 206-32-53
E-mail: sppa [at] sfu-kras [dot] ru

Служба поддержки публикационной активности СФУ

Целью службы является создание условий для увеличения количества и повышения качества публикаций научно-педагогических работников СФУ.

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика; Новосибирск; Новосибирск

Год издания: 2026

Ключевые слова: временные логики, реляционная семантика, Свойства конечных моделей

Журнал: Математика

Номера страниц: 34

Место издания: Новосибирск