General computability (Q1149433)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | General computability |
scientific article |
Statements
General computability (English)
0 references
1980
0 references
composition closure
0 references
iteration closure
0 references
test function
0 references
pairing functions
0 references
indexing
0 references
normal form theorems
0 references
