A Decision Procedure for Well-Formed Linear Quantum Cellular Automata.

Christoph Dürr Huong Lê Thanh Miklos Santha

Published in: STACS (1996)

Keyphrases

cellular automata
cellular automaton
lattice gas
cellular automata model
decision making
predator prey
potts model
chaotic dynamics
discrete dynamical systems
multiscale
pedestrian dynamics
pattern formation
cellular automaton model
sufficient conditions
dynamic environments
galois field