par Jecker, Ismaël Robin
;Kupferman, Orna;Mazzocchi, Nicolas 
Référence Leibniz international proceedings in informatics, 170, MFCS-2020-51
Publication Publié, 2020-08


Référence Leibniz international proceedings in informatics, 170, MFCS-2020-51
Publication Publié, 2020-08
Article révisé par les pairs
Titre: |
|
Auteur: | Jecker, Ismaël Robin; Kupferman, Orna; Mazzocchi, Nicolas |
Informations sur la publication: | Leibniz international proceedings in informatics, 170, MFCS-2020-51 |
Statut de publication: | Publié, 2020-08 |
Sujet CREF: | Généralités |
Mots-clés: | Deterministic Finite Automata (DFA) |
Primality | |
Regular Languages | |
Note générale: | SCOPUS: cp.p |
DecretOANoAutActif | |
Langue: | Anglais |
Identificateurs: | urn:issn:1868-8969 |
info:doi/10.4230/LIPIcs.MFCS.2020.51 | |
info:scp/85090505951 |