Výsledky vyhľadávania
Názov On the magic number problem of the cut operation. [elektronický zdroj] : IFIG Research Report 1703 Autor Holzer Markus Spoluautori Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Vyd.údaje Giessen : Institut für Informatik , 2017. - 15 p. Kategória GHG - Práce zverejnené spôsobom umožňujúcim hromadný prístup Rok vykazovania 2017 URL URL link Názov Kleene Closure on Regular and Prefix-Free Languages Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Spoluautori Palmovský Matúš 1988 SAVMATEM - Matematický ústav SAV Šebej J. Zdroj.dok. Proc. Implementation and Application of Automata - 19th International Conference (CIAA 2014), Lecture Notes in Computer Science, vol. 8587. S. 226-237. - Giessen, Germany : Springer, 2014 Kategória AEC - Vedecké práce v zahraničných recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2014 Názov Note on reversal of binary regular languages Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Spoluautori Šebej J. Zdroj.dok. Proc. Descriptional Complexity of Formal Systems. S. 212-221. - Vicinity of Vicinity Giessen, Germany, 2011 Kategória AEC - Vedecké práce v zahraničných recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2011 Názov On state complexity of projected regular languages Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Spoluautori Masopust T. Zdroj.dok. Proc. Descriptional Complexity of Formal Systems, LNCS, vol. 6808. S. 198-211. - Vicinity of Vicinity Giessen, Germany, 2011 Kategória AEC - Vedecké práce v zahraničných recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2011 Názov Mycotoxin Research. [seriál] Vyd.údaje Giessen : The Society for Mycotoxin Research , 1985- Rok vykazovania 2013 Odkazy (3) Publikačná činnosť SAV - články