par Filiot, Emmanuel ;Gauwin, Olivier;Reynier, Pierre-Alain ;Servais, Frédéric
Référence Proceedings - Symposium on Logic in Computer Science
Publication Publié, 2013-07-15
Référence Proceedings - Symposium on Logic in Computer Science
Publication Publié, 2013-07-15
Article révisé par les pairs
Titre: |
|
Auteur: | Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric |
Informations sur la publication: | Proceedings - Symposium on Logic in Computer Science |
Statut de publication: | Publié, 2013-07-15 |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | N/A |
Identificateurs: | urn:issn:1043-6871 |