Search results
- 1.0564383 - FLÚ 2023 RIV eng U - Conference, Workshop Arrangement
Peregrin, Jaroslav - Svoboda, Vladimír
What are Logical Forms (Good for)?
[Prague, 26.10.2022-28.10.2022, (K-WRD 28/15)]
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : logical form * philosophy of logic * logical analysis * formal languages * reasoning * argumentation
OECD category: Philosophy, History and Philosophy of science and technology
https://logika.flu.cas.cz/cz/akce/konference/23-dokumenty/573-logical-forms
Permanent Link: https://hdl.handle.net/11104/0336786 - 2.0537046 - ÚI 2021 RIV CH eng G - Proceedings (international conference)
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]
Institutional support: RVO:67985807
Keywords : 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
OECD category: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Permanent Link: http://hdl.handle.net/11104/0314799 - 3.0533931 - ÚI 2021 RIV DE eng G - Proceedings (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-05704S
Institutional support: RVO:67985807
Keywords : Computational intelligence * Data mining * Natural computing * Formal languages * Natural language processing
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-2718/
Permanent Link: http://hdl.handle.net/11104/0312160File Download Size Commentary Version Access 0533931-aw.pdf 2 226.2 KB CC BY 4.0 předmluva Publisher’s postprint open-access - 4.0525284 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : Stone duality * finitely additive measures * structural limits * finite model theory * formal languages * logic on words
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0309459File Download Size Commentary Version Access 0525284-aoa.pdf 1 382.2 KB OA CC BY 4.0 Publisher’s postprint open-access - 5.0346739 - MÚ 2011 RIV US eng J - Journal Article
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
Institutional research plan: CEZ:AV0Z10190503
Keywords : formal languages * context-free grammar * rewriting system * derivation restriction * generative power
Subject RIV: BA - General Mathematics
Impact factor: 1.631, year: 2010
http://www.sciencedirect.com/science/article/pii/S0022000010000437
Permanent Link: http://hdl.handle.net/11104/0187680File Download Size Commentary Version Access Masopust3.pdf 2 216.8 KB Publisher’s postprint require