Pages that link to "Item:Q1227276"
From MaRDI portal
The following pages link to Polynomial and abstract subrecursive classes (Q1227276):
Displayed 18 items.
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Resource restricted computability theoretic learning: Illustrative topics and problems (Q733738) (← links)
- The basic feasible functionals in computable analysis (Q864439) (← links)
- Indexings of subrecursive classes (Q1140080) (← links)
- The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory (Q1193873) (← links)
- Nondiamond theorems for polynomial time reducibility (Q1201882) (← links)
- Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen (Q1243275) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals (Q1362334) (← links)
- A tight relationship between generic oracles and type-2 complexity theory (Q1369098) (← links)
- Gap-languages and log-time complexity classes (Q1389651) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Structural properties of bounded relations with an application to NP optimization problems (Q1589424) (← links)
- Uniformly hard languages. (Q1874273) (← links)
- Feasible Iteration of Feasible Learning Functionals (Q3520048) (← links)
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge (Q3644710) (← links)
- Structural properties for feasibly computable classes of type two (Q4009811) (← links)
- Exact Pairs for Abstract Bounded Reducibilities (Q4264535) (← links)