Evènement pour le groupe
Graphes et Logique
| Date | 2009-10-06 11:00-12:00 |
| Titre | The 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. |
| Lieu | 076 |
| Orateur | Achim Blumensath |
| Url | TU Darmstadt |
Aucun document lié à cet événement.
RetourRetour à l'index