Pages that link to "Item:Q1207333"
From MaRDI portal
The following pages link to A new recursion-theoretic characterization of the polytime functions (Q1207333):
Displayed 50 items.
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- A recursion-theoretic approach to NP (Q639668) (← links)
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Two algorithms in search of a type-system (Q733753) (← links)
- Simulation of simultaneous safe recursion over an arbitrary structure (Q845681) (← links)
- Light affine lambda calculus and polynomial time strong normalization (Q877259) (← links)
- Soft linear set theory (Q941435) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Complexity classes and fragments of C (Q1029017) (← links)
- A foundation for real recursive function theory (Q1032628) (← links)
- Implicit characterizations of FPTIME and NC revisited (Q1044672) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- A decidable characterization of the classes between lintime and exptime (Q1045888) (← links)
- A new recursion-theoretic characterization of the polytime functions (Q1207333) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Sequences, datalog, and transducers (Q1278034) (← links)
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity (Q1295429) (← links)
- \({\mathcal M}^\omega\) considered as a programming language (Q1304541) (← links)
- Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← links)
- Function-algebraic characterizations of log and polylog parallel time (Q1332666) (← links)
- Analysing the implicit complexity of programs. (Q1401939) (← links)
- Linear types and non-size-increasing polynomial time computation. (Q1401943) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Continuous-time computation with restricted integration capabilities (Q1434373) (← links)
- Higher type recursion, ramification and polynomial time (Q1577477) (← links)
- Safe recursion with higher types and BCK-algebra (Q1577481) (← links)
- A predicative and decidable characterization of the polynomial classes of languages (Q1589422) (← links)
- A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
- Control structures in programs and computational complexity (Q1772780) (← links)
- Elementary arithmetic (Q1772782) (← links)
- Separating NC along the \(\delta\) axis (Q1827390) (← links)
- Minimization and \(\mathbf{NP}\) multifunctions (Q1827394) (← links)
- On the computational complexity of imperative programming languages (Q1827396) (← links)
- On an interpretation of safe recursion in light affine logic (Q1827399) (← links)
- A characterization of alternating log time by ramified recurrence (Q1978645) (← links)
- Structural recursion as a query language on lists and ordered trees (Q2272218) (← links)
- Implicit complexity over an arbitrary structure: Quantifier alternations (Q2490113) (← links)
- An arithmetic for polynomial-time computation (Q2500489) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- On quasi-interpretations, blind abstractions and implicit complexity (Q2909730) (← links)
- The computational SLR: a logic for reasoning about computational indistinguishability (Q3060197) (← links)
- A Formalization of Polytime Functions (Q3088001) (← links)
- A Short Introduction to Implicit Computational Complexity (Q3166988) (← links)
- Tiering as a Recursion Technique (Q3370611) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- A Characterization of NC k by First Order Functional Programs (Q3502640) (← links)
- Recursion Schemata for NC k (Q3540170) (← links)