Courcelle Bruno

Bruno Courcelle

Information about the author Bruno Courcelle will soon be added to the site.
Found 2 papers in total
Compact labelings for efficient first‐order model‐checking
2011
We consider graph properties that can be checked from labels, i.e., bit sequences, of...
Upper bounds to the clique width of graphs
2000
Hierarchical decompositions of graphs are interesting for algorithmic purposes. Many...
Papers per page: