Formal Logic of Cellular Automata

Sukanta Das, Mihir K. Chakraborty. Formal Logic of Cellular Automata. Complex Systems, 30(2):187-203, 2021. [doi]

Abstract

Abstract is missing.