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