Proof Compression and NP versus PSPACE II

Bulletin of the Section of Logic, Tom 49, Numer 3 (2020) s. 213-230
Lew Gordeev, Edward Hermann Haeusler

 

do góry