Košík

    1.
    0427525 - ÚI 2015 GE eng C - Konferenční příspěvek (zahraniční konf.)
    Bílková, Marta - Velebil, J.
    A coalgebraic logic for preordered coalgebras.
    Tenth Tbilisi Symposium on Language, Logic and Computation. Tbilisi State University, 2013, s. 69-73.
    [TbiLLC 2013. International Tbilisi Symposium on Language, Logic and Computation /10./. Gudauri (GE), 23.09.2013-27.09.2013]
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0233053
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0427525.pdf0392.3 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