TY - JOUR AU - Fernau, Henning AU - Reinhardt, Klaus AU - Staiger, Ludwig TI - Decidability of code properties JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2007 DA - 2007/// SP - 243 EP - 259 VL - 41 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2007019/ UR - https://www.ams.org/mathscinet-getitem?mr=2354356 UR - https://doi.org/10.1051/ita:2007019 DO - 10.1051/ita:2007019 LA - en ID - ITA_2007__41_3_243_0 ER -