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
;Kupferman, Orna;Mazzocchi, Nicolas 
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: | Informatique générale |
| 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 |



