- Tytuł:
- Proof Compression and NP Versus PSPACE II
- Autorzy:
-
Gordeev, Lew
Haeusler, Edward Hermann - Data publikacji:
- 2020-11-04
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
natural deduction
sequent calculus
minimal logic
computational complexity - Dostawca treści:
- Biblioteka Nauki
Artykuł