Automata for Monadic Second-order model checking
Résumé
Construction of automata for checking monadic second-order properties on graphs of bounded clique-width
Communication Dans Un Congrès
Année : 2011
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00646520
Soumis le : mercredi 30 novembre 2011-10:32:47
Dernière modification le : lundi 15 avril 2024-11:25:23
Dates et versions
Identifiants
- HAL Id : hal-00646520 , version 1
Citer
Bruno Courcelle. Automata for Monadic Second-order model checking. Reachability Problems, Sep 2011, Genoa, Italy. ⟨hal-00646520⟩
Collections
83
Consultations
0
Téléchargements