Počet záznamov: 1
Self-verifying finite automata and descriptional complexity
Názov Self-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ámky 18th IFIP WG 1.2. International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 Druh dok. rozpis článkov z periodík (rzb) 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 Registrované v SCOPUS DOI 10.1007/978-3-319-41114-9_3 článok
rok CC IF IF Q (best) JCR Av Jour IF Perc SJR SJR Q (best) CiteScore N rok vydania rok metriky IF IF Q (best) SJR SJR Q (best) 2016 2015 0.369 Q2
Počet záznamov: 1