Počet záznamů: 1
Relation Liftings on Preorders and Posets
- 1.
SYSNO 0368502 Název Relation Liftings on Preorders and Posets Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
Kurz, A. (GB)
Petrisan, D. (GB)
Velebil, J. (CZ)Zdroj.dok. Algebra and Coalgebra in Computer Science. S. 115-129. - Berlin : Springer, 2011 / Corradini A. ; Klin B. ; Cirstea C. Konference CALCO 2011. International Conference /4./, Winchester, 30.08.2011-02.09.2011 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GAP202/11/1632 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. DE Klíč.slova relation lifting * exact squares * monotone relation * coalgebraic logic Trvalý link http://hdl.handle.net/11104/0202829 Název souboru Staženo Velikost Komentář Verze Přístup a0368502.pdf 0 286.7 KB Vydavatelský postprint vyžádat
Počet záznamů: 1