Number of the records: 1  

Self-verifying finite automata and descriptional complexity

  1. TitleSelf-verifying finite automata and descriptional complexity
    Author Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Source document Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems. Vol. 9777 (2016), p. 29-44
    Languageeng - English
    Note18th IFIP WG 1.2. International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016
    Document kindrozpis článkov z periodík (rzb)
    CategoryADMB - Scientific papers in foreign non-impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2016
    Registered inSCOPUS
    DOI 10.1007/978-3-319-41114-9_3
    article

    article

    rokCCIFIF Q (best)JCR Av Jour IF PercSJRSJR Q (best)CiteScore
    N
    rok vydaniarok metrikyIFIF Q (best)SJRSJR Q (best)
    201620150.369Q2
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.