Výsledky vyhľadávania
Názov Square on ideal, closed and free languages Autor Čevorová Kristína 1990 SAVMATEM - Matematický ústav SAV Akcia DCFS 2015. international workshop ( 17th : June 25-27, 2015 : Waterloo, Canada ) Zdroj.dok. Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems. No. 9118 (2015), p. 70-80. - 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-319-19225-3_6 URL URL link 
článok
Názov Operations on Automata with All States Final Spoluautori Čevorová Kristína 1990 SAVMATEM - Matematický ústav SAV Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Ďalší autori Palmovský M. Šebej J. Zdroj.dok. Proceedings 14th International Conference on Automata and Formal Languages (AFL 2014): Szeged, Hungary, May 27-29, 2014. EPTCS, vol. 151. p. 201-215. - Szeged, Hungary : http://dx.doi.org/10.4204/EPTCS.151, 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 článok
Názov On the Square of Regular Languages Autor Čevorová Kristína 1990 SAVMATEM - Matematický ústav SAV Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Krajňáková I. Zdroj.dok. Implementation and Application of Automata - 19th International Conference: CIAA 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings. Lecture Notes in Computer Science, vol. 8587. Theoretical Computer Science and general Issues. p. 136-147. - Cham : Springer International Publishing, 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 článok
Názov Kleene star on unary regular languages Autor Čevorová Kristína 1990 SAVMATEM - Matematický ústav SAV Zdroj.dok. Lecture Notes in Computer Science, Descriptional Complexity of Formal Systems, Vol. 8031. S. 277-288. - Berlin Heidelberg : Springer, 2013 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 2013 článok