Denis Lapoire

Learn More
We prove that for each k, there exists a MSO-transduction that associates with every graph of tree-width at most k one of its tree-decompositions of width at most k. Courcelle proves in (The Monadic second-order logic of graphs, I: Recognizable sets of nite graphs) that every set of graphs is recognizable if it is deenable in Counting Monadic Second-Order(More)
Collage grammars generate picture languages in a context-free way. The generating process is based on the replacement of atomic nonterminal items and can be seen as an adaptation of the notion of hyperedge replacement known from the area of context-free graph generation. While a pumping lemma holds for hyperedge replacement graph grammars and is quite(More)
  • 1