Geodesic
On estimations of the complexity of bounded halting problem
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part III, Tome 16 (1969), pp. 77-80

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{ZNSL_1969_16_a7,
     author = {M. I. Kanovitch},
     title = {On estimations of the complexity of bounded halting problem},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {77--80},
     publisher = {mathdoc},
     volume = {16},
     year = {1969},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a7/}
}
TY  - JOUR
AU  - M. I. Kanovitch
TI  - On estimations of the complexity of bounded halting problem
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1969
SP  - 77
EP  - 80
VL  - 16
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a7/
LA  - ru
ID  - ZNSL_1969_16_a7
ER  - 
%0 Journal Article
%A M. I. Kanovitch
%T On estimations of the complexity of bounded halting problem
%J Zapiski Nauchnykh Seminarov POMI
%D 1969
%P 77-80
%V 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a7/
%G ru
%F ZNSL_1969_16_a7
M. I. Kanovitch. On estimations of the complexity of bounded halting problem. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part III, Tome 16 (1969), pp. 77-80. http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a7/