TY - JOUR AU - Baird, Leemon AU - Fagin, Barry TI - Faster Methods for Identifying Nontrivial Energy Conservation Functions for Cellular Automata JO - Discrete mathematics & theoretical computer science PY - 2010 VL - DMTCS Proceedings vol. AL, Automata 2010 - 16th Intl. Workshop on CA and DCS PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2763/ DO - 10.46298/dmtcs.2763 LA - en ID - DMTCS_2010_special_257_a8 ER -