%0 Journal Article %A Fernau, Henning %A Reinhardt, Klaus %A Staiger, Ludwig %T Decidability of code properties %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2007 %P 243-259 %V 41 %N 3 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2007019/ %R 10.1051/ita:2007019 %G en %F ITA_2007__41_3_243_0