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 

Aucun document lié à cet événement.

Retour à l'index