Formal Logic of Cellular Automata.

Sukanta Das Mihir K. Chakraborty

Published in: Complex Syst. (2021)

Keyphrases

cellular automata
formal logic
predicate logic
cellular automaton
discrete dynamical systems
pattern formation
cellular automata model
artificial intelligence
description logics
design theory
formal methods
chaotic dynamics
lattice gas
logic programming
high level
cellular automaton model
machine learning