RUS  ENG
Full version
SEMINARS


March 25, 2026 16:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)


Вычислительные аспекты для модальных логик

N. V. Lukashov

National Research University Higher School of Economics, Moscow


© Steklov Math. Inst. of RAS, 2026