Wyniki
-
Proof Compression and NP versus PSPACE II
Lew Gordeev, Edward Hermann Haeusler
Bulletin of the Section of Logic , 49 /3 (2020) s. 213-230
Lew Gordeev,
Edward Hermann Haeusler
Bulletin of the Section of Logic
, 49
/3
(2020)
s. 213-230