Geodesic
Computable enumerations of families of general recursive
Algebra i logika, Tome 16 (1977) no. 2, pp. 129-148 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@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},
     year = {1977},
     volume = {16},
     number = {2},
     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
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
%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/