Weighted o-minimal hybrid systems

Technical Report PDF: 
Technical Report Number: 
2009.124
TitleWeighted o-minimal hybrid systems
Publication TypeJournal Article
Year of Publication2009
AuthorsBouyer, P, Brihaye T, Chevalier F
JournalAnn. Pure Appl. Logic
Volume161
Pagination268-288