Výsledky vyhledávání
- 1.0532912 - ÚI 2021 RIV eng U - Uspořádání akce
Bílková, Marta - Cintula, Petr - Haniková, Zuzana - Horčík, R. - Kroupa, T. - Lávička, Tomáš - Majer, Ondrej - Moraschini, Tommaso - Noguera, Carles - Přenosil, Adam - Sedlár, Igor - Vidal, Amanda
TACL 2017: Topology, Algebra and Categories in Logic.
[Prague, 26.06.2017-30.06.2017, (K-WRD 155/127)]
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Logic * Topology * Algebra * Category theory * Coalgebra
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
https://www.cs.cas.cz/tacl2017/
Trvalý link: http://hdl.handle.net/11104/0311286Název souboru Staženo Velikost Komentář Verze Přístup 532912.pdf 1 2.7 MB Vydavatelský postprint vyžádat