About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

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

Browse
- Collections
- Titles
- Authors
- MSC

Partner of