RUS  ENG
Full version
VIDEO LIBRARY

Logical Perspectives 2021: Summer School and Workshop
June 19, 2021 11:00, Moscow, online


On relationship between complexity function and complexity of validity in propositional modal logic

D. Shkatov, M. N. Rybakov




Language: English


© Steklov Math. Inst. of RAS, 2024