Person:1023051

Available identifiers

zbMath Open michaux.christianWikidataQ102316280 ScholiaQ102316280MaRDI QIDQ1023051

List of research outcomes

Publication	Date of Publication	Type
Cobham's Theorem seen through Büchi's Theorem	2019-03-29	Paper
Cell decomposition and dimension function in the theory of closed ordered differential fields	2009-06-10	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Some remarks concerning the theory of ordered differentially closed fields.	2006-09-06	Paper
On the expressiveness and decidability of o-minimal hybrid systems	2005-09-02	Paper
Isomorphism theorem for BSS recursively enumerable sets over real closed fields	2000-08-23	Paper
A survey on real structural complexity theory	1999-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3837737	1997-07-01	Paper
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems	1997-03-11	Paper
P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\)	1995-10-09	Paper
Correction to: Logic and \(p\)-recognizable sets of integers	1995-03-26	Paper
Logic and \(p\)-recognizable sets of integers	1995-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4035239	1993-05-18	Paper
Corrigendum to "Ordered Rings over which Output Sets are Recursively Enumerable Sets"	1993-05-16	Paper
Ordered Rings Over Which Output Sets are Recursively Enumerable Sets	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3476930	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4729767	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778729	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726093	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772191	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722056	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3714062	1985-01-01	Paper

Research outcomes over time

This page was built for person: Christian Michaux