Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Some Subsystems of Constant-Depth Frege with Parity

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:53:49Z
dc.affiliationUniwersytet Warszawski
dc.contributor.authorGarlík, Michal
dc.contributor.authorKołodziejczyk, Leszek
dc.date.accessioned2024-01-26T07:53:12Z
dc.date.available2024-01-26T07:53:12Z
dc.date.issued2018
dc.description.financeNie dotyczy
dc.description.number4
dc.description.volume19
dc.identifier.doi10.1145/3243126
dc.identifier.issn1529-3785
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/120220
dc.identifier.weblinkhttps://dl.acm.org/doi/10.1145/3243126
dc.languageeng
dc.pbn.affiliationmathemathics
dc.relation.ispartofACM Transactions on Computational Logic
dc.relation.pages29:1-29:34
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.enConstant-depth Frege
dc.subject.enModular counting
dc.subject.enCounting axioms
dc.subject.enPropositional proof complexity
dc.titleSome Subsystems of Constant-Depth Frege with Parity
dc.typeJournalArticle
dspace.entity.typePublication