Заседание №54 (13 марта 2021 г.)

Доклад:

Т.Ю. Зверева - Формульная характеризация линейной логики step-like-времени.

Участники семинара:

Башмаков С.И.
Донец Е.А.

Башмаков С. И.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48 math@sfu-kras.ru