The following pages link to Christian Michaux (Q1023051):
Displayed 27 items.
- Cell decomposition and dimension function in the theory of closed ordered differential fields (Q1023052) (← links)
- (Q1194322) (redirect page) (← links)
- Differential-algebraic decision methods and some applications to system theory (Q1194323) (← links)
- A survey on real structural complexity theory (Q1280231) (← links)
- Logic and \(p\)-recognizable sets of integers (Q1326952) (← links)
- A zero structure theorem for differential parametric systems (Q1329185) (← links)
- P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\) (Q1338220) (← links)
- Correction to: Logic and \(p\)-recognizable sets of integers (Q1344736) (← links)
- Existentially closed fields with holomorphy rings (Q1354320) (← links)
- (Q1575910) (redirect page) (← links)
- Isomorphism theorem for BSS recursively enumerable sets over real closed fields (Q1575912) (← links)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Some remarks concerning the theory of ordered differentially closed fields. (Q2501395) (← links)
- Ordered Rings Over Which Output Sets are Recursively Enumerable Sets (Q3203015) (← links)
- (Q3476930) (← links)
- (Q3714062) (← links)
- (Q3726093) (← links)
- (Q3772191) (← links)
- (Q3778729) (← links)
- (Q3837737) (← links)
- (Q4035239) (← links)
- Corrigendum to "Ordered Rings over which Output Sets are Recursively Enumerable Sets" (Q4038401) (← links)
- Cobham's Theorem seen through Büchi's Theorem (Q4630271) (← links)
- (Q4722056) (← links)
- (Q4729767) (← links)
- Hybrid Systems: Computation and Control (Q5307470) (← links)