A new Characterization of Type-2 Feasibility
From MaRDI portal
Publication:4875448
Recommendations
Cited in
(38)- Feasible Iteration of Feasible Learning Functionals
- Speed-up theorems in type-2 computations using oracle Turing machines
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- scientific article; zbMATH DE number 1223632 (Why is no real title available?)
- Axiomatizing resource bounds for measure
- Semantics, specification logic, and Hoare logic of exact real computation
- Parametrised second-order complexity theory with applications to the study of interval computation
- Declassification policy for program complexity analysis
- Computable analysis and notions of continuity in \textsc{Coq}
- Time polynomial in input or output
- Characterizing polynomial time complexity of stream programs using interpretations
- Game semantics approach to higher-order complexity
- The basic feasible functionals in computable analysis
- Representations and evaluation strategies for feasibly approximable functions
- A foundational delineation of poly-time
- Elementary explicit types and polynomial time operations
- Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals
- A tier-based typed programming language characterizing feasible functionals
- Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
- Resource restricted computability theoretic learning: Illustrative topics and problems
- Two algorithms in search of a type-system
- Polynomial Running Times for Polynomial-Time Oracle Machines
- Type 2 polynomial hierarchies
- A tight relationship between generic oracles and type-2 complexity theory
- scientific article; zbMATH DE number 176202 (Why is no real title available?)
- Safe Weak Minimization Revisited
- On basic feasible functionals and the interpretation method
- A proof-theoretic characterization of the basic feasible functionals
- Quantitative continuity and Computable Analysis in Coq
- Some applications of logic to feasibility in higher types
- Complexity for type-2 relations
- Feasible functionals and intersection of ramified types
- A Relationship between Equilogical Spaces and Type Two Effectivity
- Theories with self-application and computational complexity.
- On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
- scientific article; zbMATH DE number 66471 (Why is no real title available?)
- Quantitative coding and complexity theory of compact metric spaces
- Feasible computability and resource bounded topology
This page was built for publication: A new Characterization of Type-2 Feasibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4875448)
