Travelled to:1 × United Kingdom
Collaborated with:B.Courcelle
Talks about:decomposit (1) construct (1) countabl (1) modular (1) second (1) order (1) monad (1) logic (1) graph (1)
Person: Christian Delhommé
DBLP: Delhomm=eacute=:Christian
Contributed to:
2005Wrote 1 papers:
- CSL-2005-CourcelleD #composition #graph #higher-order #logic #monad
- The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.