Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Christian Michaux - MaRDI portal

Christian Michaux

From MaRDI portal
(Redirected from Person:1575910)
Person:1023051

Available identifiers

zbMath Open michaux.christianWikidataQ102316280 ScholiaQ102316280MaRDI QIDQ1023051

List of research outcomes





PublicationDate of PublicationType
Cobham's Theorem seen through Büchi's Theorem2019-03-29Paper
Cell decomposition and dimension function in the theory of closed ordered differential fields2009-06-10Paper
Hybrid Systems: Computation and Control2007-09-25Paper
Some remarks concerning the theory of ordered differentially closed fields.2006-09-06Paper
On the expressiveness and decidability of o-minimal hybrid systems2005-09-02Paper
Isomorphism theorem for BSS recursively enumerable sets over real closed fields2000-08-23Paper
A survey on real structural complexity theory1999-03-14Paper
https://portal.mardi4nfdi.de/entity/Q38377371997-07-01Paper
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems1997-03-11Paper
P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\)1995-10-09Paper
Correction to: Logic and \(p\)-recognizable sets of integers1995-03-26Paper
Logic and \(p\)-recognizable sets of integers1995-01-22Paper
https://portal.mardi4nfdi.de/entity/Q40352391993-05-18Paper
Corrigendum to "Ordered Rings over which Output Sets are Recursively Enumerable Sets"1993-05-16Paper
Ordered Rings Over Which Output Sets are Recursively Enumerable Sets1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34769301990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47297671989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37787291987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37260931986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37721911986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47220561986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37140621985-01-01Paper

Research outcomes over time

This page was built for person: Christian Michaux