Christian Michaux
Christian Michaux
Verified email at umons.ac.be
Title
Cited by
Cited by
Year
Logic and p-recognizable sets of integers.
V Bruyere, G Hansel, C Michaux, R Villemaire
Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994
2971994
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
751996
On the expressiveness and decidability of o-minimal hybrid systems
T Brihaye, C Michaux
Journal of complexity 21 (4), 447-478, 2005
70*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
641997
Analysis and logic
C Finet, CW Henson, C Michaux
Cambridge University Press, 2002
51*2002
Une remarquea propos des machines sur R introduites par Blum, Shub et Smale
C Michaux
CR Acad. Sci. Paris 309, 435-437, 1989
511989
P≠ NP over the nonstandard reals implies P≠ NP over R
C Michaux
Theoretical Computer Science 133 (1), 95-104, 1994
251994
A note on non-complete problems in NP
S Ben-David, K Meer, C Michaux
Journal of Complexity 16 (1), 324-332, 2000
202000
Les ensembles k-reconnaissables sont définissables dans〈 N,+, Vk〉
C Michaux, F Point
CR Acad. Sci. Paris 303, 939-942, 1986
201986
Ordered rings over which output sets are recursively enumerable sets
C Michaux
Proceedings of the American Mathematical Society 112 (2), 569-575, 1991
191991
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
152005
Cobham's Theorem seen through Büchi's Theorem
C Michaux, R Villemaire
International Colloquium on Automata, Languages, and Programming, 325-334, 1993
151993
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
132009
Differential fields, Machines over the real numbers and Automata
C Michaux
These de Doctorat, Université de Mons-Hainaut, 1991
131991
Open questions around Buchi and Presburger arithmetics
C Michaux, R Villemaire
Logic: from foundations to applications: European logic colloquium, 353-383, 1996
111996
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
91994
Machines sur les réels et problemes NP–complets
C Michaux
Séminaire de Structures Algébriques Ordonnées, 1990
91990
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