Košík

    1.
    0483809 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
    Bílková, Marta - Dostál, M.
    Moss' Logic for Ordered Coalgebras.
    Logical Methods in Computer Science. Roč. 18, č. 3 (2022), 18:1-18:61. ISSN 1860-5974. E-ISSN 1860-5974
    Grant CEP: GA ČR(CZ) GC16-07954J
    Grant ostatní: GA ČR(CZ) GPP202/11/P304
    Institucionální podpora: RVO:67985807
    Klíčová slova: coalgebraic logic * cover modality * relation lifting * ordered coalgebras * similarity * Hennessy-Milner property
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.6, rok: 2022
    Způsob publikování: Open access
    https://dx.doi.org/10.46298/lmcs-18(3:18)2022
    Trvalý link: http://hdl.handle.net/11104/0278984
    Název souboruStaženoVelikostKomentářVerzePřístup
    0483809-afin.pdf7711.7 KBOA CC BY 4.0Vydavatelský postprintpovolen
    483809-prearx.pdf2475.3 KBarXiv.orgAutorský preprintpovolen
     
     

  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