A new recursion-theoretic characterization of the polytime functions

From MaRDI portal
Publication:1207333

DOI10.1007/BF01201998zbMath0766.68037OpenAlexW2069792094MaRDI QIDQ1207333

Stephen A. Cook, Stephen J. Bellantoni

Publication date: 1 April 1993

Published in: Computational Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01201998



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (only showing first 100 items - show all)

\textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programsHow is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case studyA combination framework for complexityHigher-order interpretations and program complexityTwo function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuitsBounded combinatory logic and lower complexityFunction-algebraic characterizations of log and polylog parallel timeReverse complexityA new “feasible” arithmeticA Short Introduction to Implicit Computational ComplexityParsimonious Types and Non-uniform ComputationSAFE RECURSIVE SET FUNCTIONSOn efficiency of notations for natural numbersA Categorical Setting for Lower ComplexitySimulation of simultaneous safe recursion over an arbitrary structureOn sharing, memoization, and polynomial timeA type-based complexity analysis of object oriented programsOn quasi-interpretations, blind abstractions and implicit complexityAlgorithmically broad languages for polynomial time and spaceLight affine lambda calculus and polynomial time strong normalizationSafe recursion revisited. I: Categorical semantics for lower complexityComputational Complexity Via Finite TypesA Characterization of NC k by First Order Functional ProgramsDiscrete Transfinite ComputationAnalysing the implicit complexity of programs.Linear types and non-size-increasing polynomial time computation.Cobham recursive set functionsA recursion-theoretic approach to NPBuild your own clarithmetic I: Setup and completenessTheories with self-application and computational complexity.The Power of Non-determinism in Higher-Order Implicit ComplexityRecursion Schemata for NC kContinuous-time computation with restricted integration capabilitiesAn analysis of the Core-ML language: Expressive power and type reconstructionMathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)A characterization of alternating log time by ramified recurrenceSoft linear set theoryPointwise Transfinite Induction and a Miniaturized PredicativityType-two polynomial-time and restricted lookaheadCombining linear logic and size types for implicit complexityAn Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function AlgebrasSafe Recursion Over an Arbitrary Structure: PAR, PH and DPHThe Garland Measure and Computational Complexity of Stack ProgramsA new recursion-theoretic characterization of the polytime functionsA survey of recursive analysis and Moore's notion of real computationQuasi-interpretations. A way to control resourcesImplicit complexity over an arbitrary structure: Quantifier alternationsA proof-theoretic characterization of the basic feasible functionalsControl structures in programs and computational complexityElementary arithmeticStructural recursion as a query language on lists and ordered treesAn arithmetic for polynomial-time computationResource control for synchronous cooperative threadsThe computational SLR: a logic for reasoning about computational indistinguishabilityTwo algorithms in search of a type-systemLight types for polynomial time computation in lambda calculusTiering as a Recursion Technique2004 Summer Meeting of the Association for Symbolic LogicUnnamed ItemA lexicographic path order with slow growing derivation boundsUnary Resolution: Characterizing Ptime10th Asian Logic ConferenceA Formalization of Polytime FunctionsDependency Pairs and Polynomial Path OrdersThe Computational SLR: A Logic for Reasoning about Computational IndistinguishabilityA note on complexity measures for inductive classes in constructive type theoryThe polynomial hierarchy of functions and its levelsComplexity classes and fragments of CSequences, datalog, and transducersA foundation for real recursive function theorySeparating NC along the \(\delta\) axisMinimization and \(\mathbf{NP}\) multifunctionsOn the computational complexity of imperative programming languagesOn an interpretation of safe recursion in light affine logicFeasible functionals and intersection of ramified typesHigher type recursion, ramification and polynomial timeSafe recursion with higher types and BCK-algebraImplicit characterizations of FPTIME and NC revisitedQuantum implicit computational complexityLinear logic by levels and bounded time complexityInductive definitions over a predicative arithmeticA decidable characterization of the classes between lintime and exptimeRamified recurrence and computational complexity. III: Higher type recurrence and elementary complexityImplicit recursion-theoretic characterizations of counting classesA predicative and decidable characterization of the polynomial classes of languages\({\mathcal M}^\omega\) considered as a programming languagePredicatively computable functions on sets2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchyAn abstract approach to stratification in linear logicFormal security proofs with minimal fuss: implicit computational complexity at workA higher-order characterization of probabilistic polynomial timeA characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equationsA new order-theoretic characterisation of the polytime computable functionsCharacterizing polynomial time complexity of stream programs using interpretationsRealizability models for a linear dependent PCFApplicative theories for logarithmic complexity classesFunctions over free algebras definable in the simply typed lambda calculusOn the power of recursive word-functions without concatenationComplexity of the search for the least solution to a system of dictionary equations of exponential type



Cites Work


This page was built for publication: A new recursion-theoretic characterization of the polytime functions