On the expressiveness and decidability of o-minimal hybrid systems

Technical Report PDF: 
Technical Report Number: 
2004.32
TitleOn the expressiveness and decidability of o-minimal hybrid systems
Publication TypeJournal Article
Year of Publication2005
AuthorsBrihaye, T, Michaux C
JournalJ. Complexity
Volume21
Pagination447-478