Počet záznamů: 1  

Relation Liftings on Preorders and Posets

  1. 1.
    0368502 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
    Relation Liftings on Preorders and Posets.
    Algebra and Coalgebra in Computer Science. Berlin: Springer, 2011 - (Corradini, A.; Klin, B.; Cirstea, C.), s. 115-129. Lecture Notes in Computer Science, 6859. ISBN 978-3-642-22943-5. ISSN 0302-9743.
    [CALCO 2011. International Conference /4./. Winchester (GB), 30.08.2011-02.09.2011]
    Grant CEP: GA ČR GAP202/11/1632
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: relation lifting * exact squares * monotone relation * coalgebraic logic
    Kód oboru RIV: BA - Obecná matematika

    Citováno: 2

    --- DAHLQVIST, F. - PYM, D. Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015). ISSN 0302-9743, 2015, vol. 9348, p. 119-135. [WOS]
    --- DAHLQVIST, F. - PYM, D. Coalgebraic completeness-via-canonicity for distributive substructural logics. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. ISSN 2352-2208, DEC 2017, vol. 93, p. 1-22. [WOS]

    Trvalý link: http://hdl.handle.net/11104/0202829
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0368502.pdf0286.7 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

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