EUDML | Representable P. Martin-Löf tests

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Representable P. Martin-Löf tests”

On representability of P. Martin-Löf tests

Cristian S. Calude, Ion Chiţescu (1983)

Kybernetika

Similarity:

Representability of recursive P. Martin-Löf tests

Cristian S. Calude, Ion Chiţescu (1983)

Kybernetika

Similarity:

The complexity of uniform distribution

Martin Goldstern (1994)

Mathematica Slovaca

Similarity: