Počet záznamů: 1
A coalgebraic logic for preordered coalgebras
- 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 souboru Staženo Velikost Komentář Verze Přístup a0427525.pdf 0 392.3 KB Vydavatelský postprint vyžádat
Počet záznamů: 1