Basket

0535773 - MÚ 2022 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GX19-27871X
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : circuits * complexity * games * proofs
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2020.102892
Permanent Link: http://hdl.handle.net/11104/0313709