Feferman on Computability (Q5214780)
From MaRDI portal
scientific article; zbMATH DE number 7163203
Language | Label | Description | Also known as |
---|---|---|---|
English | Feferman on Computability |
scientific article; zbMATH DE number 7163203 |
Statements
Feferman on Computability (English)
0 references
5 February 2020
0 references
Feferman
0 references
generalized computability
0 references
abstract data types computing on streams
0 references
computing on reals
0 references
0 references
0 references