Iterative Characterizations of Computable Unary Functions: A General Method (Q4333464)
From MaRDI portal
scientific article; zbMATH DE number 980639
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Iterative Characterizations of Computable Unary Functions: A General Method |
scientific article; zbMATH DE number 980639 |
Statements
Iterative Characterizations of Computable Unary Functions: A General Method (English)
0 references
19 August 1997
0 references
computable functions
0 references
iteration operators
0 references
pairing operator
0 references
functional closure
0 references
