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