Košík

    1.
    0505107 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
    Bílková, Marta - Colacito, A.
    Proof Theory for Positive Logic with Weak Negation.
    Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
    Grant CEP: GA ČR GA17-04630S
    Institucionální podpora: RVO:67985807
    Klíčová slova: Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.585, rok: 2020
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1007/s11225-019-09869-y
    Trvalý link: http://hdl.handle.net/11104/0296624
     
     
    2.
    0140926 - FGU-C 940066 GB eng A - Abstrakt
    Cimprich, Petr - Slavík, Jan - Kotyk, Arnošt
    Yeast in population have nonuniform cytoplasmic pH values.
    Cell Biology International. Elsevier. Roč. 18, č. 5 (1994), s. 432. ISSN 1065-6995. E-ISSN 1095-8355.
    [European Cell Biology Congress /4./. 26.06.1994-01.07.1994, Prague]
    Trvalý link: http://hdl.handle.net/11104/0038659
     
     

  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