Proof-Theoretic Cellular Automata as Logic of Unconventional Computing.
Andrew SchumannPublished in: Int. J. Unconv. Comput. (2012)
Keyphrases
- cellular automata
- proof theoretic
- proof theory
- linear logic
- nonmonotonic reasoning
- default reasoning
- constraint logic programming
- model theoretic
- cellular automaton
- cellular automata model
- fixpoint
- cut elimination
- chaotic dynamics
- discrete dynamical systems
- traffic flow
- lattice gas
- deductive databases
- logic programming
- pattern formation
- xml data
- logic programs