DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2006-01-31 - Article/Dans un journal avec peer-review - Anglais - 4 page(s)

Brihaye Thomas , Michaux Christian , "Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]" in Journal of Complexity, 22 , Issue 3, 431-434

  • Edition : Academic Press
  • Codes CREF : Logique mathématique (DI1170), Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Mathématiques effectives (S820), Logique mathématique (S838)