Geodesic
Representable P. Martin-Löf tests
Kybernetika, Tome 21 (1985) no. 3, pp. 235-243.

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

Classification : 03D80, 68Q99 
@article{KYB_1985__21_3_a5,
     author = {Staiger, Ludwig},
     title = {Representable {P.} {Martin-L\"of} tests},
     journal = {Kybernetika},
     pages = {235--243},
     publisher = {mathdoc},
     volume = {21},
     number = {3},
     year = {1985},
     mrnumber = {806728},
     zbl = {0576.03033},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1985__21_3_a5/}
}
TY  - JOUR
AU  - Staiger, Ludwig
TI  - Representable P. Martin-Löf tests
JO  - Kybernetika
PY  - 1985
SP  - 235
EP  - 243
VL  - 21
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1985__21_3_a5/
LA  - en
ID  - KYB_1985__21_3_a5
ER  - 
%0 Journal Article
%A Staiger, Ludwig
%T Representable P. Martin-Löf tests
%J Kybernetika
%D 1985
%P 235-243
%V 21
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1985__21_3_a5/
%G en
%F KYB_1985__21_3_a5
Staiger, Ludwig. Representable P. Martin-Löf tests. Kybernetika, Tome 21 (1985) no. 3, pp. 235-243. http://geodesic.mathdoc.fr/item/KYB_1985__21_3_a5/