Author: Chiţescu, Ion
-
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
Partner of