Košík

    1.
    0560276 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
    Jeřábek, Emil
    On the proof complexity of logics of bounded branching.
    Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103181. ISSN 0168-0072. E-ISSN 1873-2461
    Grant CEP: GA ČR(CZ) GA19-05497S
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * modal logic * intermediate logic * extended Frege system
    Obor OECD: Pure mathematics
    Impakt faktor: 0.8, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1016/j.apal.2022.103181
    Trvalý link: https://hdl.handle.net/11104/0333265
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek.pdf0789.5 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše