TY  - JOUR
AU  - M. I. Kanovitch
TI  - Complexity of bounded decidability of semirecursively enumerable sets
JO  - Doklady Akademii Nauk
PY  - 1972
SP  - 1246
EP  - 1248
VL  - 203
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1972_203_6_a5/
LA  - ru
ID  - DAN_1972_203_6_a5
ER  -