Počet záznamov: 1  

Self-verifying finite automata and descriptional complexity

  1. NázovSelf-verifying finite automata and descriptional complexity
    Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Zdroj.dok. Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems. Vol. 9777 (2016), p. 29-44
    Jazyk dok.eng - angličtina
    Poznámky18th IFIP WG 1.2. International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016
    Druh dok.rozpis článkov z periodík (rzb)
    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
    Registrované vSCOPUS
    DOI 10.1007/978-3-319-41114-9_3
    článok

    článok

    rokCCIFIF Q (best)JCR Av Jour IF PercSJRSJR Q (best)CiteScore
    N
    rok vydaniarok metrikyIFIF Q (best)SJRSJR Q (best)
    201620150.369Q2
Počet záznamov: 1  

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