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