Kybernetika 19 no. 6, 526-536, 1983

Representability of recursive P. Martin-Löf tests

Cristian Calude and Ion Chiţescu

Classification:

03D15, 03D45, 03D25

paper.pdf