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