A Generalized Twinning Property for Minimisation of Cost Register Automata
Résumé
no abstract
Communication Dans Un Congrès
Année : 2016
Pierre-Alain Reynier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01475441
Soumis le : jeudi 23 février 2017-17:02:14
Dernière modification le : vendredi 22 mars 2024-18:24:04
Citer
Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot. A Generalized Twinning Property for Minimisation of Cost Register Automata. Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), 2016, Unknown, Unknown Region. pp.857--866, ⟨10.1145/2933575.2934549⟩. ⟨hal-01475441⟩
164
Consultations
0
Téléchargements