Kybernetika 19 no. 1, 42-47, 1983

On representability of P. Martin-Löf tests

Cristian Calude and Ion Chiţescu

Classification:

03D45

paper.pdf