On representability of P. Martin-Löf tests
Cristian S. Calude, Ion Chiţescu (1983)
Kybernetika
Similarity:
Cristian S. Calude, Ion Chiţescu (1983)
Kybernetika
Similarity:
Cristian S. Calude, Ion Chiţescu (1983)
Kybernetika
Similarity:
Martin Goldstern (1994)
Mathematica Slovaca
Similarity:
John Case, Sanjay Jain, Suzanne Ngo Manguelle (1994)
Kybernetika
Similarity:
H. J. Borchers (1973)
Recherche Coopérative sur Programme n°25
Similarity:
E. Pleszczyńska (1971)
Applicationes Mathematicae
Similarity: