Sciweavers

2 search results - page 1 / 1
» The Modular Decomposition of Countable Graphs: Constructions...
Sort
View
CSL
2005
Springer
13 years 12 months ago
The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic
We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order l...
Bruno Courcelle, Christian Delhommé
LMCS
2006
119views more  LMCS 2006»
13 years 6 months ago
The monadic second-order logic of graphs XVI : Canonical graph decompositions
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...
Bruno Courcelle