Conserved Energy Functions for Cellular Automata: Finding Nontrivials Faster Through a Complete Theory of the Trivials

Leemon Baird, Barry Fagin. Conserved Energy Functions for Cellular Automata: Finding Nontrivials Faster Through a Complete Theory of the Trivials. J. Cellular Automata, 7(2):115-150, 2012. [doi]

Abstract

Abstract is missing.