TYTUŁ ARTYKUŁU

Proof Compression and NP versus PSPACE II

AUTORZY
Lew Gordeev, Edward Hermann Haeusler
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2020 / Tom 49 / Numer 3
STRONY
213 - 230
ROK
2020
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

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

BIBTEX

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

Pokaż kod BibTeX 
@article{bazhum321470,
  author = {Gordeev, Lew and Hermann Haeusler, Edward},
  title = {{Proof Compression and NP versus PSPACE II}},
  journal = {Bulletin of the Section of Logic},
  year = {2020},
  volume = {49},
  number = {3},
  pages = {213--230},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/321470}
}