Follow
Christian Michaux
Christian Michaux
Verified email at umons.ac.be
Title
Cited by
Cited by
Year
Logic and p-recognizable sets of integers.
V Bruyère, G Hansel, C Michaux, R Villemaire
Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994
3371994
Presburger arithmetic and recognizability of sets of natural numbers by automata: new proofs of Cobham's and Semenov's theorems
C Michaux, R Villemaire
Ann. Pure Appl. Logic 77 (3), 251-277, 1996
801996
On the expressiveness and decidability of o-minimal hybrid systems
T Brihaye, C Michaux
Journal of complexity 21 (4), 447-478, 2005
69*2005
On o-minimal hybrid systems
T Brihaye, C Michaux, C Riviere, C Troestler
International Workshop on Hybrid Systems: Computation and Control, 219-233, 2004
672004
A survey on real structural complexity theory
K Meer, C Michaux
Bulletin of the Belgian Mathematical Society Simon Stevin 4 (1), 113-148, 1997
621997
Une remarquea propos des machines sur R introduites par Blum, Shub et Smale
C Michaux
CR Acad. Sci. Paris 309, 435-437, 1989
491989
P≠ NP over the nonstandard reals implies P≠ NP over R
C Michaux
Theoretical Computer Science 133 (1), 95-104, 1994
241994
Les ensembles k-reconnaissables sont définissables dans〈 N,+, Vk〉
C Michaux, F Point
CR Acad. Sci. Paris 303, 939-942, 1986
221986
A note on non-complete problems in NP
S Ben-David, K Meer, C Michaux
Journal of Complexity 16 (1), 324-332, 2000
212000
Cell decomposition and dimension function in the theory of closed ordered differential fields
T Brihaye, C Michaux, C Rivière
Annals of Pure and Applied Logic 159 (1-2), 111-128, 2009
172009
Quelques remarques concernant la théorie des corps ordonnés différentiellement clos
C Michaux, C Riviere
Bulletin of the Belgian Mathematical Society-Simon Stevin 12 (3), 341-348, 2005
172005
Ordered rings over which output sets are recursively enumerable sets
C Michaux
Proceedings of the American Mathematical Society 112 (2), 569-575, 1991
171991
Analysis and logic
C Finet, CW Henson, C Michaux
Cambridge University Press, 2002
16*2002
Cobham's Theorem seen through Büchi's Theorem
C Michaux, R Villemaire
Automata, Languages and Programming: 20th International Colloquium, ICALP 93 …, 1993
151993
Open questions around Buchi and Presburger arithmetics
C Michaux, R Villemaire
Logic: from foundations to applications: European logic colloquium, 353-383, 1996
131996
Correction to Logic and p-recognizable sets of integers.
V Bruyère, G Hansel, C Michaux, R Villemaire
Bulletin of the Belgian Mathematical Society Simon Stevin 1 (4), 577-578, 1994
131994
Differential fields, Machines over the real numbers and Automata
C Michaux
These de Doctorat, Université de Mons-Hainaut, 1991
131991
Machines sur les réels et problemes NP–complets
C Michaux
Séminaire de Structures Algébriques Ordonnées, 1990
81990
Sur l'élimination des quantificateurs dans les anneaux différentiels
C Michaux
Comptes rendus de l'Académie des sciences. Série 1, Mathématique 302 (8 …, 1986
71986
Quantifier elimination following Muchnik
C Michaux, A Ozturk
Universite de Mons-Hainaut Preprint Series 10, 2002
52002
The system can't perform the operation now. Try again later.
Articles 1–20