The following pages link to STACS 2005 (Q5710669):
Displayed 4 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Grids and universal computations on one-dimensional cellular automata (Q2629940) (← links)
- Achieving Universal Computations on One-Dimensional Cellular Automata (Q4931277) (← links)
- Inductive definitions in logic versus programs of real-time cellular automata (Q6122593) (← links)