Number of the records: 1
Relation Liftings on Preorders and Posets
- 1.
SYSNO 0368502 Title Relation Liftings on Preorders and Posets Author(s) Bílková, Marta (UIVT-O) SAI, RID, ORCID
Kurz, A. (GB)
Petrisan, D. (GB)
Velebil, J. (CZ)Source Title Algebra and Coalgebra in Computer Science. S. 115-129. - Berlin : Springer, 2011 / Corradini A. ; Klin B. ; Cirstea C. Conference CALCO 2011. International Conference /4./, Winchester, 30.08.2011-02.09.2011 Document Type Konferenční příspěvek (zahraniční konf.) Grant GAP202/11/1632 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10300504 - UIVT-O (2005-2011) Language eng Country DE Keywords relation lifting * exact squares * monotone relation * coalgebraic logic Permanent Link http://hdl.handle.net/11104/0202829 File Download Size Commentary Version Access a0368502.pdf 0 286.7 KB Publisher’s postprint require
Number of the records: 1