Formal Logic of Cellular Automata

DOI10.25088/COMPLEXSYSTEMS.30.2.187zbMath1469.68064OpenAlexW3171988240MaRDI QIDQ4957465

Sukanta Das, Mihir Kumar Chakraborty

Publication date: 8 September 2021

Published in: Complex Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.25088/complexsystems.30.2.187

zbMATH Keywords

cellular automataevolutionderivationformal logictemporal rulesspatial rule

Mathematics Subject Classification ID

Logic in computer science (03B70) Cellular automata (computational aspects) (68Q80)

This page was built for publication: Formal Logic of Cellular Automata