Výsledky vyhľadávania
Názov Operations on Boolean and Alternating Finite Automata Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 16th International Conference on Automata and Formal Languages ( 16th : September 5-7, 2023 : Eger, Hungary ) Zdroj.dok. Electronic Proceedings in Theoretical Computer Science : Proceedings of the 16th International Conference on Automata and Formal Languages. Vol. 386 (2023), pp. 3-10 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 príspevok z podujatia Rok vykazovania 2023 DOI 10.4204/EPTCS.386.1 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operations on Boolean and Alternating Finite Automata.pdf Neprístupný/archív 216.8 KB 0 Vydavateľská verzia Názov Operational Complexity in Subregular Classes Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV 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 : Implementation and Application of Automata CIAA 2023. Vol. 14151 (2023), pp. 153-165. - 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-40247-0_11 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operational Complexity in Subregular Classes.pdf Neprístupný/archív 317.5 KB 0 Vydavateľská verzia 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 Názov The cut operation in subclasses of convex languages Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Olejár Viktor SAVMATEM - Matematický ústav SAV Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Zdroj.dok. Theoretical Computer Science. Vol. 969 (2023), art. nr. 114050 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 2023 DOI 10.1016/j.tcs.2023.114050 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence The Cut Operation in Subclasses of Convex Languages.pdf Neprístupný/archív 772.5 KB 0 Vydavateľská verzia Názov Nondeterministic operational complexity in subregular languages Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Olejár Viktor SAVMATEM - Matematický ústav SAV Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Zdroj.dok. Theoretical Computer Science. Vol. 972 (2023), art. nr. 114075 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 2023 DOI 10.1016/j.tcs.2023.114075 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Nondeterministic operational complexity in subregular languages.pdf Neprístupný/archív 605.8 KB 0 Vydavateľská verzia