Evènement pour le groupe
Séminaire du LaBRI
Date | 2010-05-20 14:00-15:00 |
Titre | Sém LaBRI. Automatic structures: Ramsey's theorem |
Résumé | Automatic structures are a class of effectively given structures
that have, compared to general computable structures, favourable
algorithmic properties. One line of research in this area aims at
a better understanding of the differences and similarities
between these two classes. This talk will present the findings
and some open questions in this direction as far as Ramsey's
theorem is concerned. |
Lieu | Amphi LaBRI |
Orateur | Dietrich Kuske |
Email | kuske@labri.fr |
Url | LaBRI |
Aucun document lié à cet événement.
RetourRetour à l'index