Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Recognisability for infinite trees
du groupe Graphes et Logique

Date 2011-10-18  11:00-12:00
TitreRecognisability for infinite trees 
RésuméWe develop a framework for recognisability of languages of infinite trees. This framework has the same expressive power as tree automata. We present an algebraic proof of Rabin's Tree Theorem that does not make use of automata or games. 
Lieusalle 76 
OrateurAchim Blumensath 
Emailblumensath@liafa.jussieu.fr 
UrlLiafa, université Paris 7 



Aucun document lié à cet événement.

Retour
Retour à l'index