Evènement pour le groupe Graphes et Logique


Date 2009-10-06  11:00-12:00
TitreThe Boundedness Problem for Monadic Second Order Logic on Trees 
RésuméWe give a reduction of the boundedness problem for monadic second-order logic over trees to the limitedness problem for distance automata. As a consequence, we obtain the decidability of the boundedness problem for MSO over classes of structures of bounded tree width.  
Lieu076 
OrateurAchim Blumensath 
UrlTU Darmstadt 



Aucun document lié à cet événement.

Retour
Retour à l'index