RUS
ENG
Full version
VIDEO LIBRARY
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 16, 2023
10:00
, Zoom
Computational complexity of theories of residuated structures
Dmitry Shkatov
Language:
English
©
Steklov Math. Inst. of RAS
, 2024