Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov |
Video records: |
![mp4](/fticons/mp4.svg) |
MP4 |
62.7 Mb |
Supplementary materials: |
![pdf](/fticons/pdf-files-icon.svg) |
Adobe PDF |
406.1 Kb |
Number of views: |
This page: | 89 | Video files: | 23 | Materials: | 23 |
|