Relation Liftings on Preorders and Posets

Bílková Marta



Název
Relation Liftings on Preorders and Posets
Autor
lupa Bílková Marta UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Kurz A.
lupa Petrisan D.
lupa Velebil J.
Zdroj.dok.
lupa Algebra and Coalgebra in Computer Science. S. 115-129. - Berlin : Springer, 2011 / Corradini A. ; Klin B. ; Cirstea C.
Vyd.údaje
15 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
relation lifting * exact squares * monotone relation * coalgebraic logic
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0202829