Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Christian Michaux (Bèlgica)
Publicacions
Logic and p-recognizable sets of integers, 1993
BRUYÈRE, V.; HANSEL, G.; MICHAUX, C. & VILLEMAIRE, R. *Logic and p-recognizable sets of integers*. Publicacions del CRM, núm. 241 (1993)
P ? NP over the non standard reals implies P ? NP over R, 1993
MICHAUX, C. *P ? NP over the non standard reals implies P ? NP over R*. Publicacions del CRM, núm. 238 (1993)
Participacions a Congressos
Workshop on Continuous Algorithms and Complexity
CRM, Bellaterra (4/10/1993- 6/10/1993)
Organitzat conjuntament amb la Univ. Pompeu Fabra
*Theoretical Computer Science*
Altres activitats (conferències, seminaris)
Investigador visitant - Univ. Mons-Hainaut - Mètodes computacionals [23/9/1993 - 17/12/1993]
Definability and decidability in ordered rings (4/10/1993)
Dins el Workshop on Continous Algorithms and Complexity, 4 a 6 octubre 1993. No en consta la data exacta
Investigador visitant - Univ. Mons-Hainaut - Mètodes computacionals [23/9/1993 - 17/12/1993]
‹N,+,V?k›: a first-order weak arithemeticand the theory of finite automata (27/10/1993)
Investigador visitant - Univ. Mons-Hainaut - Mètodes computacionals [23/9/1993 - 17/12/1993]
Some remarks on P ? NP (in the BSS-model of computations) (11/11/1993)