Number-conserving cellular automata I: decidability

Bruno Durand, Enrico Formenti, Zsuzsanna RĂ³ka. Number-conserving cellular automata I: decidability. Theoretical Computer Science, 1-3(299):523-535, 2003. [doi]

Abstract

Abstract is missing.