Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Christian Michaux"'
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite
Autor:
C. Ward Henson, José Iovino, Alexander S. Kechris, Edward Odell, Catherine Finet, Christian Michaux
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. C
Autor:
Thérèse Staub, Michel Kohnen, Tamir Abdelrahman, Vic Arendt, Jean-Hugues François, Esther Calvo Lasso de la Vega, Chantal Tsobo, Christian Michaux, Pierre Braquet, Anke K. Wienecke-Baldacchino
Publikováno v:
Eurosurveillance
We describe four SARS-CoV-2 re-infections with a B.1.351 variant in 2021, in healthcare workers (HCWs) previously infected in 2020, before detection of this variant in Europe. Cases live in France, near the border with Luxembourg, where variants B.1.
Publikováno v:
Annals of Pure and Applied Logic. 159:111-128
In this paper we develop a differential analogue of o-minimal cell decomposition for the theory C O D F of closed ordered differential fields. Thanks to this differential cell decomposition we define a well-behaving dimension function on the class of
Autor:
Christian Michaux, Roger Villemaire
Publikováno v:
Annals of Pure and Applied Logic. 77:251-277
Let N be the set of nonnegative integers. We show the two following facts about Presburger's arithmetic: 1. 1. Let L ⊆ N . If L is not definable in 〈 N , +〉 then there is an L′ ⊆ N definable in 〈 N ,+,L〉 , such that there is no bound on
Publikováno v:
Finite and Algorithmic Model Theory
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13d71de16ac1f3787afc423fe363a969
https://doi.org/10.1017/cbo9780511974960
https://doi.org/10.1017/cbo9780511974960
Autor:
Christian Michaux
Publikováno v:
Proceedings of the American Mathematical Society. 112:569-575
In a recent paper [BSS], L. Blum, M. Shub, and S. Smale developed a theory of computation over the reals and over commutative ordered rings; in § 9 \S 9 of [BSS] they showed that over the reals (and over any real closed field) the class of recursive
Publikováno v:
Presse medicale (Paris, France : 1983). 39(1)
Reactivation of Herpesviridae is well known among transplant patients, but has not been sufficiently studied in patients who receive immunosuppressive treatment for systemic inflammatory diseases. CMV infection seems relatively rare; it is easily dia