TY  - JOUR
AU  - Hay, Louise
TI  - Rice Theorems For D.R.E. Sets
JO  - Canadian journal of mathematics
PY  - 1975
SP  - 352
EP  - 365
VL  - 27
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1975-043-4/
DO  - 10.4153/CJM-1975-043-4
ID  - 10_4153_CJM_1975_043_4
ER  -