TY - JOUR AU - Gajardo, Anahí AU - Ollinger, Nicolas AU - Torres-Avilés, Rodrigo TI - Some undecidable problems about the trace-subshift associated to a Turing machine JO - Discrete mathematics & theoretical computer science PY - 2015-2016 VL - 17 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2137/ DO - 10.46298/dmtcs.2137 LA - en ID - DMTCS_2015_17_2_a9 ER -