Pages that link to "Item:Q3159429"
From MaRDI portal
The following pages link to Spaces allowing Type‐2 Complexity Theory revisited (Q3159429):
Displaying 18 items.
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- Representing probability measures using probabilistic processes (Q864426) (← links)
- Online computations of differentiable functions (Q1292412) (← links)
- Type-two polynomial-time and restricted lookahead (Q1989320) (← links)
- The fixed-point property for represented spaces (Q2120973) (← links)
- Type 2 computational complexity of functions on Cantor's space (Q2277260) (← links)
- Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136) (← links)
- Analytical properties of resource-bounded real functionals (Q2509953) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces (Q2799752) (← links)
- Relative computability and uniform continuity of relations (Q2930869) (← links)
- Towards Computational Complexity Theory on Advanced Function Spaces in Analysis (Q3188250) (← links)
- (Q4989411) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
- On the complexity of robust eventual inequality testing for C-finite functions (Q6623018) (← links)
