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