Evènement pour le groupe Séminaire du LaBRI


Date 2010-05-20  14:00-15:00
TitreSé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. 
LieuAmphi LaBRI 
OrateurDietrich Kuske 
Emailkuske@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index