%0 Journal Article %A Cassaigne, Julien %A Nicolas, Francois %T On the decidability of semigroup freeness %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2012 %P 355-399 %V 46 %N 3 %I EDP-Sciences %U http://archive.numdam.org/articles/10.1051/ita/2012010/ %R 10.1051/ita/2012010 %G en %F ITA_2012__46_3_355_0