Košík

    1.
    0561027 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
    Khaniki, Erfan
    New relations and separations of conjectures about incompleteness in the finite domain.
    Journal of Symbolic Logic. Roč. 87, č. 3 (2022), s. 912-937. ISSN 0022-4812. E-ISSN 1943-5886
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: disjoint NE-sets * finite consistency * oracles * propositional proof systems
    Obor OECD: Pure mathematics
    Impakt faktor: 0.6, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1017/jsl.2021.99
    Trvalý link: https://hdl.handle.net/11104/0333783
    Název souboruStaženoVelikostKomentářVerzePřístup
    Khaniki3.pdf2386.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