Decidability of code properties Henning Fernau, Klaus Reinhardt and Ludwig Staiger RAIRO-Theor. Inf. Appl., 41 3 (2007) 243-259 Published online: 25 September 2007 DOI: 10.1051/ita:2007019