Search results
- 1.0532912 - ÚI 2021 RIV eng U - Conference, Workshop Arrangement
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)]
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Logic * Topology * Algebra * Category theory * Coalgebra
OECD category: Pure mathematics; Pure mathematics (UTIA-B)
https://www.cs.cas.cz/tacl2017/
Permanent Link: http://hdl.handle.net/11104/0311286File Download Size Commentary Version Access 532912.pdf 1 2.7 MB Publisher’s postprint require