Relation Liftings on Preorders and Posets

Počet záznamů: 1

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