Заседание №108 (11 мая 2024 г.)

Время:

18:00

Место:

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

Доклад:

Поляков А.А. - Эквивалентность кортежной и реляционной семантик для логики Alt_1.

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

Башмаков С.И.
Мукосий А.А.
Брылякова Е.В.
Киселева У.С.
Фисков Я.С.

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

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

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