The decidable properties of subrecursive functions (Q4598249)
From MaRDI portal
scientific article; zbMATH DE number 6820297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The decidable properties of subrecursive functions |
scientific article; zbMATH DE number 6820297 |
Statements
19 December 2017
0 references
Rice theorem
0 references
subrecursive class
0 references
decidable property
0 references
Kolmogorov complexity
0 references
compressibility
0 references
The decidable properties of subrecursive functions (English)
0 references
