• DML-CZ Home

Author: Calude, Cristian

• Calude, Cristian; Chiţescu, Ion: On representability of P. Martin-Löf tests. (English). Kybernetika, vol. 19 (1983), issue 1, pp. 42-47
• Calude, Cristian; Chiţescu, Ion: Representability of recursive P. Martin-Löf tests. (English). Kybernetika, vol. 19 (1983), issue 6, pp. 526-536