The canonical pairs of bounded depth Frege systems

0535773 - MÚ 2022 RIV NL eng J - Článek v odborném periodiku
Pudlák, Pavel
The canonical pairs of bounded depth Frege systems.
Annals of Pure and Applied Logic. Roč. 172, č. 2 (2021), č. článku 102892. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GX19-27871X
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: circuits * complexity * games * proofs
Obor OECD: Pure mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102892
Trvalý link: http://hdl.handle.net/11104/0313709