Michaux, Christian
Michaux, Christian 1960-....
Michaux, Christian, 19..-...., auteur en informatique
VIAF ID: 76548131 ( Personal )
Permalink: http://viaf.org/viaf/76548131
Preferred Forms
- 200 _ | ‡a Michaux ‡b Christian ‡f 1960-....
-
-
- 100 1 _ ‡a Michaux, Christian
- 100 1 _ ‡a Michaux, Christian
-
-
-
-
-
- 100 1 _ ‡a Michaux, Christian ‡d 1960-
- 100 1 _ ‡a Michaux, Christian, ‡d 19..-...., ‡c auteur en informatique
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Analysis and logic | |
Definability in arithmetics and computability | |
Differential fields, machines over the real numbers and automata. Christian Michaux. | |
Finite and algorithmic model theory | |
Hyperseries and surreal numbers | |
Hyperséries et Nombres surréels. | |
Une information sur les matrices de covariance : la liaison-information | |
Logique du premier ordre, relations d'entiers et automates dans une base fixe | |
Proceedings of the International Conference "Analyse & Logique", Mons, Belgium 25-29 August 1997 | |
TEST TEST | |
Tribute to Maurice Boffa |