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  -