Výsledky vyhledávání
- 1.0579478 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Jakl, Tomáš - Marsden, D. - Shah, N.
A categorical account of composition methods in logic.
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, s. 1-14. ISBN 979-8-3503-3588-0.
[LICS 2023: Annual ACM/IEEE Symposium on Logic in Computer Science /38./. Boston (US), 26.06.2023-29.06.2023]
Institucionální podpora: RVO:67985840
Klíčová slova: computer circuits * equivalence classes * finite model theory
Obor OECD: Pure mathematics
https://doi.org/10.1109/LICS56636.2023.10175751
Trvalý link: https://hdl.handle.net/11104/0348314 - 2.0525284 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Gehrke, M. - Jakl, T. - Reggio, Luca
A Duality Theoretic View on Limits of Finite Structures.
Foundations of Software Science and Computation Structures. Cham: Springer, 2020 - (Goubault-Larrecq, J.; König, B.), s. 299-318. Lecture Notes in Computer Science, 12077. ISBN 978-3-030-45230-8. ISSN 0302-9743.
[FOSSACS 2020: Foundations of Software Science and Computation Structures /23./ Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. Dublin (IE), 25.04.2020-30.04.2020]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Stone duality * finitely additive measures * structural limits * finite model theory * formal languages * logic on words
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0309459Název souboru Staženo Velikost Komentář Verze Přístup 0525284-aoa.pdf 1 382.2 KB OA CC BY 4.0 Vydavatelský postprint povolen - 3.0405004 - UIVT-O 20030057 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr
On Generalized Quantifiers, Finite Sets and Data Mining.
Intelligent Information Processing and Web Mining. Berlin: Springer-Verlag, 2003 - (Klopotek, M.; Wierzchoň, S.; Trojanowski, K.), s. 489-496. Advances in Intelligent and Soft Computing, 22. ISBN 3-540-00843-8.
[IIPWM'03. Zakopane (PL), 02.06.2003-05.06.2003]
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: AV0Z1030915
Klíčová slova: data mining * GUHA method * finite model theory * generalized quantifiers
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125224 - 4.0403600 - UIVT-O 990009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr
Trakhtenbrot Theorem and Fuzzy Logic.
Computer Science Logic. Berlin: Springer, 1999 - (Gottlob, G.; Grandjean, E.; Seyr, K.), s. 1-8. Lecture Notes in Computer Science, 1584. ISBN 3-540-65922-6; ISBN 3-540-65922-6. ISSN 0302-9743.
[CSL'98 International Workshop /12./, Annual Conference of the EACSL. Brno (CZ), 24.08.1999-28.08.1999]
Grant ostatní: COST(XE) Action 15
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * undecidability * finite model theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0123899 - 5.0403343 - UIVT-O 970186 CZ eng V - Výzkumná zpráva
Hájek, Petr
Trakhtenbrot Theorem and Fuzzy Logic.
Prague: ICS AS CR, 1997. 6 s. Technical Report, V-737.
Grant ostatní: COST(XE) Action 15
Klíčová slova: fuzzy logic * undecidability * finite model theory
Trvalý link: http://hdl.handle.net/11104/0123655Název souboru Staženo Velikost Komentář Verze Přístup v737-97.pdf 9 143 KB Jiná povolen