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-03-01 - Article/Dans un journal avec peer-review - Anglais - 6 page(s)

Brihaye Thomas , "A note on the undecidability of the reachability problem for o-minimal dynamical systems" in Mathematical Logic Quarterly, 52, Issue 2, 165-170

  • Edition : John Wiley & Sons, Inc. - Engineering
  • Codes CREF : Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Mathématiques effectives (S820)
Texte intégral :

Abstract(s) :

(Anglais) In this paper we prove that the reachability problem is BSS-undecidable for o-minimal dynamical systems. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Identifiants :
  • DOI : 10.1002/malq.200510024