Towards a Rice theorem on traces of cellular automata (2007)

by Julien Cervelle , Pierre Guillon
Venue:In 32 nd Conference on Mathematical Foundations of Computer Science (MFCS’07
Citations:9 - 6 self