Computable decision making on the reals and other spaces (Q5145365)
From MaRDI portal
scientific article; zbMATH DE number 7298811
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable decision making on the reals and other spaces |
scientific article; zbMATH DE number 7298811 |
Statements
Computable decision making on the reals and other spaces (English)
0 references
20 January 2021
0 references
constructive analysis
0 references
locale theory
0 references
