Výsledky vyhľadávania

Nájdených záznamov: 15  
Váš dotaz: Autor-kód záznamu = "^sav_un_auth 0188954^"
  1. NázovŽivot a dielo Milana Demka (1963-2021)
    Autor Brajerčík Ján
    Spoluautori Majherová Mária
    Mlynárčik Peter 1972
    Halušková Emília 1967 SAVMATEM - Matematický ústav SAV
    Zdroj.dok. Obzory matematiky, fyziky a informatiky. Vol. 51, no. 1 (2022), p. 69-71
    KategóriaGII - Rôzne publikácie a dokumenty, ktoré nemožno zaradiť do žiadnej z predchádzajúcich kategórií
    Kategória (od 2022)I3 - Iný výstup publikačnej činnosti z časopisu
    Typ výstupučlánky, ktoré nemožno zaradiť do kategórie V, O, P, U alebo D (informácie, správy, oznámenia)
    Rok vykazovania2022
    Názov súboruPrístupVeľkosťStiahnutéTypLicence
    Milan Demko.pdfNeprístupný/archív2.9 MB0Vydavateľská verzia
    článok

    článok

  2. NázovOperations on Subregular Languages and Nondeterministic State Complexity
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    Olejár Viktor SAVMATEM - Matematický ústav SAV
    Zdroj.dok. Descriptional Complexity of Formal Systems : Conference proceedings DCFS 2022. Vol. 13439 (2022), p. 112-126. - Cham, Switzerland : Springer International Publishing, 2022 / Han Yo-Sub ; Vaszil Gyorgy ; DCFS 2022 IFIP WG 1.02 International Conference
    KategóriaADMB - 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ýstupukapitola
    Rok vykazovania2022
    DOI 10.1007/978-3-031-13257-5_9
    URLlink.springer.com/chapter/10.1007/978-3-031-13257-5_9
    Názov súboruPrístupVeľkosťStiahnutéTypLicence
    Operations on Subregular Languages and Nondeterministic State Complexity.pdfNeprístupný/archív572.1 KB1Vydavateľská verzia
    článok

    článok

  3. NázovOn Discrete Properties of Real Functions
    Autor Halušková Emília 1967 SAVMATEM - Matematický ústav SAV
    Spoluautori Mlynárčik Peter 1972
    Zdroj.dok. Computer Algebra Systems in Teaching and Research : Volume X. p. 33-44. - Siedlce : University of Natural Sciences and Humanities, 2021 / Prokopenya Alexander ; Kozak-Superson Dorota ; Siluszyk Marek ; Chichurin Alexander ; Glavan Vasile ; Gutu Valeriu
    KategóriaAECA - Vedecké práce v zahr. rec. zb. a kratšie kapitoly/state v zahraničných vedeckých monografiách alebo vysokoškolských učebniciach
    Kategória (od 2022)V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    Typ výstupupríspevok
    Rok vykazovania2021
    Názov súboruPrístupVeľkosťStiahnutéTypLicence
    On Discrete Properties of Real Functions.pdfNeprístupný/archív8.1 MB3Vydavateľská verzia
    článok

    článok

  4. NázovOperations on permutation automata
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    Zdroj.dok. Lecture Notes in Computer Science. Vol. 12086 (2020), p. 122-136 : Developments in Language Theory
    KategóriaADMB - 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 vykazovania2020
    DOI 10.1007/978-3-030-48516-0_10
    článok

    článok

  5. NázovDescriptional complexity of the forever operator
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    Zdroj.dok. International Journal of Foundations of Computer Science. Vol. 30, no. 1 (2019), p. 115-134
    KategóriaADCA - 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 vykazovania2019
    DOI 10.1142/S0129054119400069
    Názov súboruPrístupVeľkosťStiahnutéTypLicence
    Descriptional Complexity of the Forever Operator.pdfNeprístupný/archív504.4 KB0Vydavateľská verzia
    článok

    článok

  6. NázovNondeterministic complexity in subclasses of convex languages
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    Zdroj.dok. Theoretical Computer Science. Vol. 787, (2019), p. 89-110
    KategóriaADCA - 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 vykazovania2019
    DOI 10.1016/j.tcs.2018.12.027
    článok

    článok

  7. NázovA survey on fooling sets as effective tools for lower bounds on nondeterministic complexity
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    Zdroj.dok. Lecture Notes in Computer Science : Adventures Between Lower Bounds and Higher Altitudes. Vol. 11011 (2018), p. 17-32
    KategóriaADMB - 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 vykazovania2018
    DOI 10.1007/978-3-319-98355-4_2
    URLURL link
    článok

    článok

  8. NázovOn the descriptive complexity of $\overline{\Sigma^*\overline{L}}$
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    AkciaDevelopments in Language Theory, DLT 2017. international conference ( 21st : August 7-11, 2017 : Liѐge, Belgium )
    Zdroj.dok. Lecture Notes in Computer Science : Developments in Language Theory. Vol. 10396 (2017), p. 222-234. - Heidelberg : Springer
    KategóriaADMB - 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 vykazovania2017
    DOI 10.1007/978-3-319-62809-7_16
    článok

    článok

  9. NázovNondeterministic complexity of operations on free and convex languages
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    AkciaImplementation and Application of Automata, CIAA 2017. international conference ( 22nd : June 27-30, 2017 : Marne-la-Vallée, France )
    Zdroj.dok. Lecture Notes in Computer Science : Implementation and Application of Automata. Vol. 10329 (2017), p. 138-150. - Heidelberg : Springer
    KategóriaADMB - 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 vykazovania2017
    DOI 10.1007/978-3-319-60134-2_12
    URLURL link
    článok

    článok

  10. NázovNondeterministic complexity of operations on closed and ideal languages
    Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV
    Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    AkciaImplementation and Application of Automata, CIAA 2016. international conference ( 21st : July 19-22, 2016 : Seoul, South Korea )
    Zdroj.dok. Lecture Notes in Computer Science : Implementation and Application of Automata. Vol. 9705 (2016), p. 125-137. - Heidelberg : Springer
    KategóriaADMB - 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 vykazovania2016
    DOI 10.1007/978-3-319-40946-7_11
    URLURL link
    článok

    článok


  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.