Výsledky vyhledávání
- 1.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