A Generalized Twinning Property for Minimisation of Cost Register Automata

Laure Daviaud 1 Pierre-Alain Reynier 2 Jean-Marc Talbot 2
1 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
2 MOVE - Modélisation et Vérification
LIF - Laboratoire d'informatique Fondamentale de Marseille
Abstract : no abstract
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01475441
Contributor : Pierre-Alain Reynier <>
Submitted on : Thursday, February 23, 2017 - 5:02:14 PM
Last modification on : Wednesday, April 3, 2019 - 1:30:50 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

222