Kybernetika 21 no. 3, 235-243, 1985

Representable P. Martin-Löf tests

Ludwig Staiger

Classification:

03D80, 68Q99