Geodesic
Representability of recursive P. Martin-Löf tests
Kybernetika, Tome 19 (1983) no. 6, pp. 526-536.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03D15, 03D25, 03D45 
@article{KYB_1983__19_6_a8,
     author = {Calude, Cristian and Chi\c{t}escu, Ion},
     title = {Representability of recursive {P.} {Martin-L\"of} tests},
     journal = {Kybernetika},
     pages = {526--536},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {1983},
     mrnumber = {734837},
     zbl = {0529.03021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1983__19_6_a8/}
}
TY  - JOUR
AU  - Calude, Cristian
AU  - Chiţescu, Ion
TI  - Representability of recursive P. Martin-Löf tests
JO  - Kybernetika
PY  - 1983
SP  - 526
EP  - 536
VL  - 19
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1983__19_6_a8/
LA  - en
ID  - KYB_1983__19_6_a8
ER  - 
%0 Journal Article
%A Calude, Cristian
%A Chiţescu, Ion
%T Representability of recursive P. Martin-Löf tests
%J Kybernetika
%D 1983
%P 526-536
%V 19
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1983__19_6_a8/
%G en
%F KYB_1983__19_6_a8
Calude, Cristian; Chiţescu, Ion. Representability of recursive P. Martin-Löf tests. Kybernetika, Tome 19 (1983) no. 6, pp. 526-536. http://geodesic.mathdoc.fr/item/KYB_1983__19_6_a8/