@inproceedings{conf/mfcs/CervelleG07,
	title = {Towards a Rice Theorem on Traces of Cellular Automata.},
	author = {Julien Cervelle and Pierre Guillon},
	booktitle = {MFCS},
	crossref = {conf/mfcs/2007},
	editor = {Ludek Kucera and Antonín Kucera},
	pages = {310-319},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2007.html#CervelleG07},
	volume = {4708},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f3cf75add563ac3b07b65a5675f57223/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-74456-6_29}, isbn = {978-3-540-74455-9}, date = {2007-08-21},
	keywords = {dblp }
}