Definability by Horn Formulas and Linear Time on Cellular Automata.

Nicolas Bacquey Etienne Grandjean Frédéric Olive

Published in: ICALP (2017)

Keyphrases

cellular automata
horn formulas
knowledge compilation
cellular automaton
fixed point
chaotic dynamics
propositional logic
cellular automata model
lattice gas
discrete dynamical systems
reaction diffusion
pattern formation
galois field
revision operators
cellular automaton model