Pages that link to "Item:Q1207333"
From MaRDI portal
The following pages link to A new recursion-theoretic characterization of the polytime functions (Q1207333):
Displaying 30 items.
- A combination framework for complexity (Q276251) (← links)
- Higher-order interpretations and program complexity (Q276254) (← links)
- Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits (Q276257) (← links)
- Bounded combinatory logic and lower complexity (Q276270) (← links)
- Reverse complexity (Q287279) (← links)
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- 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)
- Cobham recursive set functions (Q904151) (← 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 note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Sequences, datalog, and transducers (Q1278034) (← links)
- Continuous-time computation with restricted integration capabilities (Q1434373) (← links)
- On sharing, memoization, and polynomial time (Q1640979) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← 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)
- A new order-theoretic characterisation of the polytime computable functions (Q2346988) (← links)
