18 citations · 31 across the 5 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.FL2012★ 8 cited
Linear functional classes over cellular automata
Anaël Grandjean, Gaétan Richard, Véronique Terrier
Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the pa…
cs.LO2012
Descriptive complexity for pictures languages (extended abstract)
Etienne Grandjean, Frédéric Olive, Gaétan richard
This paper deals with descriptive complexity of picture languages of any dimension by syntactical fragments of existential second-order logic. - We uniformly generalize to any dime…