Definability by Horn Formulas and Linear Time on Cellular Automata.

Nicolas Bacquey, Etienne Grandjean, Frdric Olive

Browse the full ICALP paper archive.