Michaux, C. (31 August 2022). Décidabilité versus Indécidabilité en Arithmétique, mini-cours sur invitation [Paper presentation]. Brussels Summer School of mathematics (BSSM 22), Brussels, Belgium. |
Michaux, C., & BAUS, M. (2013). Le 'Matheux'. La Libre. |
Michaux, C., Steinhorn, C., Esparza, J., Michaux, C. (Ed.), Esparza, J. (Ed.), & Steinhorn, C. (Ed.). (2011). Finite and Algorithmic Model Theory. Cambridge University Press. |
![]() ![]() | Brihaye, T., Michaux, C., & Rivière, C. (01 May 2009). Cell decomposition and dimension function in the theory of closed ordered differential fields. Annals of Pure and Applied Logic, 159 (Issues 1-2), 111-128. doi:10.1016/j.apal.2008.09.029 ![]() |
Brihaye, T., & Michaux, C. (2009). Economie, environnement et mathématiques. |
Brihaye, T., & Michaux, C. (31 January 2006). Corrigendum to 'On the expressiveness and decidability of o-minimal hybrid systems' [J. Complexity 21 (2005) 447-478]. Journal of Complexity, 22 (Issue 3), 431-434. ![]() |
![]() ![]() | Michaux, C., & Rivière, C. (01 September 2005). Quelques remarques concernant la théorie des corps ordonnés différentiellement clos. Bulletin de la Société Mathématique de Belgique, 12 (3), 341-348. ![]() |
![]() ![]() | Brihaye, T., & Michaux, C. (01 August 2005). On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity, 21 (Issue 4), 447-478. doi:10.1016/j.jco.2004.09.003 ![]() |
Michaux, C., Troestler, C., & Bridoux, S. (2004). Préparer la transition secondaire-université dans les cours de mathématiques. |
![]() ![]() | Brihaye, T., Michaux, C., Rivière, C., & Troestler, C. (01 January 2004). On O-Minimal Hybrid Systems. Lecture Notes in Computer Science, 2993, 133-138. doi:10.1007/978-3-540-24743-2_15 ![]() |
Troestler, C., & Michaux, C. (28 January 2000). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. Theoretical Computer Science, 231, 253-273. doi:10.1016/S0304-3975(99)00103-6 ![]() |
![]() ![]() | Michaux, C., & Troestler, C. (1998). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. NeuroCOLT2. https://orbi.umons.ac.be/handle/20.500.12907/9562 |
Michaux, C., & Troestler, C. (1998). Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields [Paper presentation]. International Colloquium Universal Machines and Computations, Metz, France. |