Christian Michaux

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cobham's Theorem seen through Büchi's Theorem Automata, Languages and Programming	2019-03-29	Paper
Cell decomposition and dimension function in the theory of closed ordered differential fields Annals of Pure and Applied Logic	2009-06-10	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Some remarks concerning the theory of ordered differentially closed fields. Bulletin of the Belgian Mathematical Society - Simon Stevin	2006-09-06	Paper
On the expressiveness and decidability of o-minimal hybrid systems Journal of Complexity	2005-09-02	Paper
Isomorphism theorem for BSS recursively enumerable sets over real closed fields Theoretical Computer Science	2000-08-23	Paper
A survey on real structural complexity theory Bulletin of the Belgian Mathematical Society - Simon Stevin	1999-03-14	Paper
scientific article; zbMATH DE number 956480 (Why is no real title available?)	1997-07-01	Paper
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems Annals of Pure and Applied Logic	1997-03-11	Paper
P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\) Theoretical Computer Science	1995-10-09	Paper
Correction to: Logic and \(p\)-recognizable sets of integers Bulletin of the Belgian Mathematical Society - Simon Stevin	1995-03-26	Paper
Logic and \(p\)-recognizable sets of integers Bulletin of the Belgian Mathematical Society - Simon Stevin	1995-01-22	Paper
scientific article; zbMATH DE number 176138 (Why is no real title available?)	1993-05-18	Paper
Corrigendum to "Ordered Rings over which Output Sets are Recursively Enumerable Sets" Proceedings of the American Mathematical Society	1993-05-16	Paper
Ordered Rings Over Which Output Sets are Recursively Enumerable Sets	1991-01-01	Paper
scientific article; zbMATH DE number 4146079 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4114603 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4039867 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4031651 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3993564 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3957070 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3941516 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Christian Michaux