Доклад С.И. Башмаков – «Финитная аппроксимируемость линейной интранзитивной мономодальной логики LiTL»
Аннотация доклада. На вводном заседании был сделан доклад о вопросе финитной аппроксимируемости логики LiTL.
© 2024 Институт математики и фундаментальной информатики СФУ
+7 (391) 206-21-48 math@sfu-kras.ru