%0 Journal Article %A Halava, Vesa %A Harju, Tero %T Undecidability of the equivalence of finite substitutions on regular language %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1999 %P 117-124 %V 33 %N 2 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1999__33_2_117_0/ %G en %F ITA_1999__33_2_117_0