Vytisknout
0425733 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Dostál, M.
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
[CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * relation lifting * many-valued logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0231547
Bílková, Marta - Dostál, M.
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
[CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * relation lifting * many-valued logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0231547