Košík

  1. 1.
    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.678, rok: 2020
    Způsob publikování: Omezený přístup
    https://doi.org/10.1016/j.apal.2020.102892
    Trvalý link: http://hdl.handle.net/11104/0313709
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf2676.3 KBVydavatelský postprintvyžádat