Christian Michaux

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Michaux