Výsledky vyhledávání

  1. 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
     
     
  2. 2.
    0425733 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Bílková, Marta - Dostál, M.
    Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
    Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
    [CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
    Grant CEP: GA ČR GAP202/10/1826
    Grant ostatní: SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
    Institucionální podpora: RVO:67985807
    Klíčová slova: coalgebra * coalgebraic logic * relation lifting * many-valued logic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0231547
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0425733.pdf1271.5 KBVydavatelský postprintvyžádat
     
     
  3. 3.
    0424950 - ÚI 2014 RIV DE eng J - Článek v odborném periodiku
    Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
    Relation lifting, with an application to the many-valued cover modality.
    Logical Methods in Computer Science. Roč. 9, č. 4 (2013), 8_1-8_48. ISSN 1860-5974. E-ISSN 1860-5974
    Grant CEP: GA ČR GAP202/11/1632
    Institucionální podpora: RVO:67985807
    Klíčová slova: relation lifting * module * exact square * enriched categories * commutative quantale * coalgebra * modal logic * cover modality
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.443, rok: 2013
    http://www.lmcs-online.org/ojs/viewarticle.php?id=1154&layout=abstract
    Trvalý link: http://hdl.handle.net/11104/0230931
     
     
  4. 4.
    0368502 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
    Relation Liftings on Preorders and Posets.
    Algebra and Coalgebra in Computer Science. Berlin: Springer, 2011 - (Corradini, A.; Klin, B.; Cirstea, C.), s. 115-129. Lecture Notes in Computer Science, 6859. ISBN 978-3-642-22943-5. ISSN 0302-9743.
    [CALCO 2011. International Conference /4./. Winchester (GB), 30.08.2011-02.09.2011]
    Grant CEP: GA ČR GAP202/11/1632
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: relation lifting * exact squares * monotone relation * coalgebraic logic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0202829
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0368502.pdf0286.7 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.