| bibtype |
U -
Conference, Workshop Arrangement
|
| ARLID |
0532912 |
| utime |
20240103224514.7 |
| mtime |
20201009235959.9 |
| title
(primary) (eng) |
TACL 2017: Topology, Algebra and Categories in Logic |
| keyword |
Logic |
| keyword |
Topology |
| keyword |
Algebra |
| keyword |
Category theory |
| keyword |
Coalgebra |
| author
(primary) |
| ARLID |
cav_un_auth*0218529 |
| name1 |
Bílková |
| name2 |
Marta |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0015032 |
| name1 |
Haniková |
| name2 |
Zuzana |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0226863 |
| name1 |
Horčík |
| name2 |
R. |
| country |
CZ |
|
| author
|
| ARLID |
cav_un_auth*0015063 |
| name1 |
Kroupa |
| name2 |
T. |
| country |
CZ |
|
| author
|
| ARLID |
cav_un_auth*0341114 |
| name1 |
Lávička |
| name2 |
Tomáš |
| institution |
UTIA-B |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| full_dept |
Department of Decision Making Theory |
| country |
CZ |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0284110 |
| name1 |
Majer |
| name2 |
Ondrej |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0333530 |
| name1 |
Moraschini |
| name2 |
Tommaso |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| country |
ES |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| institution |
UTIA-B |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0306220 |
| name1 |
Přenosil |
| name2 |
Adam |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0336595 |
| name1 |
Sedlár |
| name2 |
Igor |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0325065 |
| name1 |
Vidal |
| name2 |
Amanda |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| country |
ES |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| abstract
(eng) |
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eight conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015). |
| action |
|
| RIV |
BA |
| FORD0 |
10000 |
| FORD1 |
10100 |
| FORD2 |
10101 |
| reportyear |
2021 |
| num_of_auth |
12 |
| mrcbC47 |
UTIA-B 10000 10100 10101 |
| mrcbC52 |
4 R 4r 20231122145140.6 |
| mrcbC55 |
UTIA-B BA |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0311286 |
| confidential |
S |
| arlyear |
2017 |
| mrcbTft |
\nSoubory v repozitáři: 532912.pdf |
|