DML-CZ - Czech Digital Mathematics Library

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

DML-CZ Home

03 Mathematical logic and foundations

03Dxx Computability and recursion theory

03D45 Theory of numerations, effectively presented structures (2 articles)

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