A domain-theoretic approach to computability on the real line (Q1274807)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A domain-theoretic approach to computability on the real line |
scientific article |
Statements
A domain-theoretic approach to computability on the real line (English)
0 references
12 January 1999
0 references
computable real number
0 references
computable function
0 references
effective domain
0 references
computational model
0 references
interval mathematics
0 references
