Logics and graphs/automata/sequences
The obstructions of a minor-closed set of graphs defined by a context-free grammar.
Joint work with B. Courcelle.
(Discrete Maths 1998).
Iterated pushdown automata and sequences of rational numbers.
Joint work with S. Fratani.
(APAL 2006 - Special issue dedicated to the " 2nd Logic Days at St Petersburg ")
Sequences of level 1, 2, 3,..., k,...
LNCS 4649 - Proceedings of CSR 2007
Marin's Master thesis,
2007 (quoted in above paper)
talk (.pdf)
given at CSR 2007.
Words and trees
Talk given at the Workshop in Honour of Hubert Comon-Lundh, 18-19 November 2008, Cachan
Word-mappings of level 2.
Joint work with J. Ferté and N. Marin.
(Submitted to TOCS in Februray 2012)