О разрешимости кластерных темпоральных логик с операторами надёжности информации
Авторы
Грекович Константин Викентьевич
ИМиФИ СФУ
Аннотация
Аннотация пока не опубликована.
Библиографическая ссылка
Грекович Константин Викентьевич. О разрешимости кластерных темпоральных логик с операторами надёжности информации // Междисциплинарная конференция молодых учёных ФИЦ КНЦ СО РАН (КМУ-XXIX): тезисы докладов. — Красноярск: ИФ СО РАН. — 2026. — С. 143.
Скачать полный сборникPDF · 7 162 КБ