Výsledky vyhledávání
- 1.0564383 - FLÚ 2023 RIV eng U - Uspořádání akce
Peregrin, Jaroslav - Svoboda, Vladimír
What are Logical Forms (Good for)?
[Prague, 26.10.2022-28.10.2022, (K-WRD 28/15)]
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: logical form * philosophy of logic * logical analysis * formal languages * reasoning * argumentation
Obor OECD: Philosophy, History and Philosophy of science and technology
https://logika.flu.cas.cz/cz/akce/konference/23-dokumenty/573-logical-forms
Trvalý link: https://hdl.handle.net/11104/0336786 - 2.0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
Martins, M. A. (ed.) - Sedlár, Igor (ed.)
Dynamic Logic. New Trends and Applications.
Cham: Springer, 2020. 295 s. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Trvalý link: http://hdl.handle.net/11104/0314799 - 3.0533931 - ÚI 2021 RIV DE eng G - Konferenční sborník (zahraniční konf.)
Holeňa, Martin (ed.) - Horváth, T. (ed.) - Kelemenová, A. (ed.) - Mráz, F. (ed.) - Pardubská, D. (ed.) - Plátek, M. (ed.) - Sosík, P. (ed.)
Proceedings of the 20th Conference Information Technologies - Applications and Theory (ITAT 2020).
Aachen: Technical University & CreateSpace Independent Publishing, 2020. 245 s. CEUR Workshop Proceedings, 2718. ISSN 1613-0073.
[ITAT 2020: Information Technologies - Applications and Theory /20./. Oravská Lesná (SK), 18.09.2020-22.09.2020]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Computational intelligence * Data mining * Natural computing * Formal languages * Natural language processing
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-2718/
Trvalý link: http://hdl.handle.net/11104/0312160Název souboru Staženo Velikost Komentář Verze Přístup 0533931-aw.pdf 2 226.2 KB CC BY 4.0 předmluva Vydavatelský postprint povolen - 4.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 - 5.0346739 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Masopust, Tomáš
Simple restriction in context-free rewriting.
Journal of Computer and System Sciences. Roč. 76, č. 8 (2010), s. 837-846. ISSN 0022-0000. E-ISSN 1090-2724
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: formal languages * context-free grammar * rewriting system * derivation restriction * generative power
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.631, rok: 2010
http://www.sciencedirect.com/science/article/pii/S0022000010000437
Trvalý link: http://hdl.handle.net/11104/0187680Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 2 216.8 KB Vydavatelský postprint vyžádat