0425733 - ÚI 2014 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Grant - others:SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * relation lifting * many-valued logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0231547
