Practical verification of MSO properties of graphs of bounded clique width
-
33
pages
-
English
-
Documents
-
2010
Écrit par
Irène Durand
Publié par
pefav
-
33
pages
-
English
-
Documents
-
2010
Description
Practical verification of MSO properties of graphs of bounded clique-width Irene Durand (joint work with Bruno Courcelle) LaBRI, Universite de Bordeaux 20 Octobre 2010 Decompositions de graphes, theorie, algorithmes et logiques, 2010
- clique
- width properties
- graph properties
- properties like
- only ?
- free undirected graphs
- finite graphs
- graph theory
-
Publié par
-
Publié le
01 octobre 2010
-
Langue
English
Ajouté à mes notifications
Vous serez informé des prochaines publications.