Geodesic
Computable enumerations of families of general recursive
Algebra i logika, Tome 16 (1977) no. 2, pp. 129-148.

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

@article{AL_1977_16_2_a0,
     author = {S. A. Badaev},
     title = {Computable enumerations of families of general recursive},
     journal = {Algebra i logika},
     pages = {129--148},
     publisher = {mathdoc},
     volume = {16},
     number = {2},
     year = {1977},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_1977_16_2_a0/}
}
TY  - JOUR
AU  - S. A. Badaev
TI  - Computable enumerations of families of general recursive
JO  - Algebra i logika
PY  - 1977
SP  - 129
EP  - 148
VL  - 16
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1977_16_2_a0/
LA  - ru
ID  - AL_1977_16_2_a0
ER  - 
%0 Journal Article
%A S. A. Badaev
%T Computable enumerations of families of general recursive
%J Algebra i logika
%D 1977
%P 129-148
%V 16
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1977_16_2_a0/
%G ru
%F AL_1977_16_2_a0
S. A. Badaev. Computable enumerations of families of general recursive. Algebra i logika, Tome 16 (1977) no. 2, pp. 129-148. http://geodesic.mathdoc.fr/item/AL_1977_16_2_a0/