@article{ITA_2005__39_4_661_0, author = {Halava, Vesa and Harju, Tero and Hoogeboom, Hendrik Jan and Latteux, Michel}, title = {Equality sets for recursively enumerable languages}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {661--675}, publisher = {EDP-Sciences}, volume = {39}, number = {4}, year = {2005}, doi = {10.1051/ita:2005035}, mrnumber = {2172145}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita:2005035/} }