| bibtype |
A -
Abstract
|
| ARLID |
0480185 |
| utime |
20240103214759.9 |
| mtime |
20171023235959.9 |
| title
(primary) (eng) |
Lindenbaum-style proof of completeness for infinitary logics |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0480184 |
| title
|
ISRALOG'17 Abstract Booklet |
| page_num |
28-31 |
| publisher |
| place |
Haifa |
| name |
Faculty of Social Sciences |
| year |
2017 |
|
|
| author
(primary) |
| ARLID |
cav_un_auth*0218529 |
| name1 |
Bílková |
| name2 |
Marta |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| 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 |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0341114 |
| name1 |
Lávička |
| name2 |
Tomáš |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| country |
CZ |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
| action |
| ARLID |
cav_un_auth*0352067 |
| name |
ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./ |
| dates |
15.10.2017-17.10.2017 |
| place |
Haifa |
| country |
IL |
|
| RIV |
BA |
| reportyear |
2018 |
| mrcbC52 |
4 O 4o 20231122142738.1 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0276064 |
| confidential |
S |
| arlyear |
2017 |
| mrcbTft |
\nSoubory v repozitáři: a0480185.pdf |
| mrcbU14 |
SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
WOS |
| mrcbU63 |
cav_un_epca*0480184 ISRALOG'17 Abstract Booklet 28 31 Haifa Faculty of Social Sciences 2017 |
|