2010-02-11 - Article/Dans un journal avec peer-review - Anglais -
32 page(s)
Brihaye Thomas 
,
Bruyère Véronique ,
Render Elaine,
"Formal languages properties of o-minimal hybrid systems" in RAIRO: Informatique Théorique et Applications, 44, 1, 79-111
- Edition : EDP Sciences (France)
- Codes CREF : Informatique mathématique (DI1160)
- Unités de recherche UMONS : Mathématiques effectives (S820), Informatique théorique (S829)
Texte intégral :