| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
|
|||
|
|
|||
|
Lecture 2. PSPACE complexity class: Savitch's theorem and PSPACE-completeness of the TQBF problem S. L. Kuznetsov, T. G. Pshenitsyn |
|||
|
|
|||