TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Proof Compression and NP versus PSPACE II Opublikowano w: Bulletin of the Section of Logic 2020 / Tom 49 / Numer 3 / s. 213 - 2302020CZYSTY TEKST
Edward Hermann Haeusler, Lew Gordeev, Proof Compression and NP versus PSPACE II, Bulletin of the Section of Logic, 2020 / Tom 49 / Numer 3, s. 213 - 230
BIBTEX@Article{ authors = " Edward Hermann Haeusler, Lew Gordeev", title = "Proof Compression and NP versus PSPACE II", journal = "Bulletin of the Section of Logic", issue = "2020 / Tom 49 / Numer 3", pages = "213 - 230" }
