Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętySome Subsystems of Constant-Depth Frege with Parity
Autor
Garlík, Michal
Data publikacji
2018
Słowa kluczowe EN
Constant-depth Frege
Modular counting
Counting axioms
Propositional proof complexity
Dyscyplina PBN
matematyka
Czasopismo
ACM Transactions on Computational Logic
Tom
19
Zeszyt
4
Strony od-do
29:1-29:34
ISSN
1529-3785
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty