TY  - JOUR
AU  - M. I. Kanovitch
TI  - On the complexity of the problem of separating recursively enumerable sets
JO  - Doklady Akademii Nauk
PY  - 1982
SP  - 1300
EP  - 1304
VL  - 267
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1982_267_6_a3/
LA  - ru
ID  - DAN_1982_267_6_a3
ER  -