• DML-CZ Home

03D80 Applications of computability and recursion theory (3 articles)

• Goldstern, Martin: The complexity of uniform distribution. (English). Mathematica Slovaca, vol. 44 (1994), issue 5, pp. 491-500
• Staiger, Ludwig: Representable P. Martin-Löf tests. (English). Kybernetika, vol. 21 (1985), issue 3, pp. 235-243
• Havel, Ivan M.: O desátém Hilbertově problému. (Czech) [On the tenth Hilbert problem]. Pokroky matematiky, fyziky a astronomie, vol. 18 (1973), issue 4, pp. 185-192