Košík

    1.
    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
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0425733.pdf1271.5 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše