Výsledky vyhľadávania
Názov Operational Complexity: NFA-to-DFA Trade-Off Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Jirásek Jozef Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Zdroj.dok. Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems DCFS 2023. Vol. 13918 (2023), pp. 79-93. - Heidelberg : Springer Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu kapitola Rok vykazovania 2023 DOI 10.1007/978-3-031-34326-1_6 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operational Complexity NFAtoDFA TradeOff.pdf Neprístupný/archív 333.8 KB 0 Vydavateľská verzia 
článok
Názov Operations on unambiguous finite automata Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Zdroj.dok. International Journal of Foundations of Computer Science. Vol. 29, no. 5 (2018), p. 861-876 Kategória ADCA - Vedecké práce v zahraničných karentovaných časopisoch impaktovaných Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2018 DOI 10.1142/S012905411842008X článok
Názov The complexity of languages resulting from the concatenation operation Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Spoluautori Szabari Alexander Šebej Juraj Zdroj.dok. Journal of Automata, Languages and Combinatorics. Vol. 22, no. 1-3 (2017), p. 123-143 Kategória ADEB - Vedecké práce v ostatných zahraničných časopisoch neimpaktovaných Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2017 článok
Názov Operations on unambiguous finite automata Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Zdroj.dok. Lecture Notes in Computer Science : Developments in Language Theory. Vol. 9840 (2016), p. 243-255. - Heidelberg : Springer Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2016 DOI 10.1007/978-3-662-53132-7_20 článok
Názov The complexity of languages resulting from the concatenation operation Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Spoluautori Szabari Alexander Šebej Juraj Zdroj.dok. Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems. Vol. 9777 (2016), p. 153-167 Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2016 DOI 10.1007/978-3-319-41114-9_12 článok
Názov Prefix-free languages: Left and right quotient and reversal Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Krausová Monika Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Šebej Juraj Zdroj.dok. Theoretical Computer Science. Vol. 610 (2016), p. 78-90 Kategória ADCA - Vedecké práce v zahraničných karentovaných časopisoch impaktovaných Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2016 DOI 10.1016/j.tcs.2015.08.031 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Prefix-free languages Left and right quotient and reversal.pdf Prístupný 516.6 KB 1 Vydavateľská verzia článok
Názov Star-complement-star on prefix-free languages Autor Palmovský Matúš 1988 SAVMATEM - Matematický ústav SAV Spoluautori Šebej Juraj Zdroj.dok. Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems. Vol. 9118 (2015), p. 231-242 Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2016 DOI 10.1007/978-3-319-19225-3_20 URL URL link článok