Заседание №8 (5 апреля 2017 г.)

Время:

17:40

Место:

пр. Свободный 79, ауд. 34-08

С.И. Башмаков реферирует статью:
V. Rybakov - «Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals», 2005 г.

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

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

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