A note on the undecidability of the reachability problem for o-minimal dynamical systems

Technical Report PDF: 
Technical Report Number: 
2006.63
TitleA note on the undecidability of the reachability problem for o-minimal dynamical systems
Publication TypeJournal Article
Year of Publication2006
AuthorsBrihaye, T
JournalMath. Log. Q.
Volume52
Pagination165-170