Basket

    1.
    0435051 - BC 2016 RIV GB eng J - Journal Article
    Niedbala, W. - Starý, Josef
    New species of Notophthiracarus (Acari, Oribatida, Phthiracaroidea) from Tanzania.
    Journal of Natural History. Roč. 49, 15/16 (2015), s. 905-914. ISSN 0022-2933. E-ISSN 1464-5262
    Institutional research plan: CEZ:AV0Z60660521
    Institutional support: RVO:60077344
    Keywords : Acari * ptyctimous mites * taxonomy * new species * Tanzania
    Subject RIV: EG - Zoology
    Impact factor: 1.010, year: 2015
    Permanent Link: http://hdl.handle.net/11104/0238991
     
     
    2.
    0585769 - ÚI 2025 GB eng J - Journal Article
    Sedlár, Igor
    Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness.
    Mathematical Structures in Computer Science. Online 04 March 2024, Special Issue WoLLIC 2022 (2024). ISSN 0960-1295. E-ISSN 1469-8072.
    [WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași, 20.09.2022-23.09.2022]
    Institutional support: RVO:67985807
    Keywords : Implication * Kleene algebra * partial correctness * substructural logic
    Impact factor: 0.5, year: 2022
    Method of publishing: Limited access
    https://doi.org/10.1017/S0960129524000045
    Permanent Link: https://hdl.handle.net/11104/0353448
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all