Košík

    1.
    0455671 - ÚI 2016 NL eng J - Článek v odborném periodiku
    Bílková, Marta - Palmigiano, A. - Venema, Y.
    Proof systems for Moss’ coalgebraic logic.
    Theoretical Computer Science. Roč. 549 (2014), s. 36-60. ISSN 0304-3975. E-ISSN 1879-2294
    Impakt faktor: 0.657, rok: 2014
    Trvalý link: http://hdl.handle.net/11104/0256287
     
     

  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