|
ВИДЕОТЕКА |
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
|
|||
|
Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov |
|||
Язык доклада: английский |