Name
Abstract | ||
|---|---|---|
This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definability theory to introduce computability of functionals from arbitrary domain to the real numbers. We show how this concept works in particular cases. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1007/11494645_30 | CiE |
Field | DocType | Volume |
Discrete mathematics,Logical approach,Computability logic,Computer science,Computability,Operator (computer programming),Real number,Computable function,Computable analysis | Conference | 3526 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-26179-6 | 9 |
PageRank | References | Authors |
1.10 | 12 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Margarita V. Korovina | 1 | 84 | 15.61 |
| Oleg V. Kudinov | 2 | 105 | 15.85 |