par Balachander, Mrudula ;Filiot, Emmanuel ;Gentillini, Raffaella;Tzevelekos, Nikos
Référence Leibniz international proceedings in informatics, 345, 14
Publication Publié, 2025-08-01
Article révisé par les pairs
Titre:
  • Register Automata with Permutations
Auteur:Balachander, Mrudula; Filiot, Emmanuel; Gentillini, Raffaella; Tzevelekos, Nikos
Informations sur la publication:Leibniz international proceedings in informatics, 345, 14
Statut de publication:Publié, 2025-08-01
Sujet CREF:Généralités
Mots-clés:active learning
data words
equivalence
minimization
Register automata
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.MFCS.2025.14
info:scp/105014759124