 |
Article dans une revue
Local testability from words to traces, a suitable definition
Giovanna Guaiana
1, 2
2
CA - LITIS - Equipe Combinatoire et algorithmes
LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
Giovanna Guaiana 1, 2
Auteur
1
LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (Avenue de l'Université 76800 Saint-Étienne-du-Rouvray - France)
- ULH - Université Le Havre Normandie (25 rue Philippe Lebon - BP 1123 - 76063 Le Havre Cedex France - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- UNIROUEN - Université de Rouen Normandie : EA4108 (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- INSA Rouen Normandie - Institut national des sciences appliquées Rouen Normandie (Avenue de l’Université 76801 Saint-Étienne-du-Rouvray Cedex - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- INSA - Institut National des Sciences Appliquées (France)
2
CA - LITIS - Equipe Combinatoire et algorithmes (France)
- LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (Avenue de l'Université 76800 Saint-Étienne-du-Rouvray - France)
- ULH - Université Le Havre Normandie (25 rue Philippe Lebon - BP 1123 - 76063 Le Havre Cedex France - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- UNIROUEN - Université de Rouen Normandie : EA4108 (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- INSA Rouen Normandie - Institut national des sciences appliquées Rouen Normandie (Avenue de l’Université 76801 Saint-Étienne-du-Rouvray Cedex - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- INSA - Institut National des Sciences Appliquées (France)
- ULH - Université Le Havre Normandie (25 rue Philippe Lebon - BP 1123 - 76063 Le Havre Cedex France - France)
Type de document :
Article dans une revue
Domaine :
Liste complète des métadonnées
https://hal-normandie-univ.archives-ouvertes.fr/hal-02120299
Contributeur : Giovanna Guaiana <>
Soumis le : dimanche 5 mai 2019 - 17:57:19
Dernière modification le : lundi 6 mai 2019 - 01:23:07
Contributeur : Giovanna Guaiana <>
Soumis le : dimanche 5 mai 2019 - 17:57:19
Dernière modification le : lundi 6 mai 2019 - 01:23:07
Identifiants
- HAL Id : hal-02120299, version 1
- DOI : 10.1016/j.tcs.2016.06.023
Collections
COMUE-NORMANDIE | LITIS | INSA-ROUEN | UNIROUEN | UNILEHAVRE | INSA-GROUPE
Citation
Giovanna Guaiana. Local testability from words to traces, a suitable definition. Theoretical Computer Science, Elsevier, 2017, 658, pp.175-189. ⟨10.1016/j.tcs.2016.06.023⟩. ⟨hal-02120299⟩
Métriques
Consultations de la notice
