Évènements
Rechercher un événement
22
Jan
22
Jan
The link of a finitely determined map germ from $R^2$ to $R^2$ (joint work with J.J.Nuno Ballesteros)
(...)
Let $f:(R^2, 0) --> (R^2, 0)$ be a finitely determined germ. Thelink of f is obtained by taking a small enough representative f: U --> [...]
22
Jan
Langages définissables en logique du second ordre monadique
(...)
Cet exposé a pour but de présenter les liens entre Logique et Automates. Je commencerai par présenter les résultats "historiques" de Büchi et Rabin sur [...]
