A new order-theoretic characterisation of the polytime computable functions (Q2346988): Difference between revisions

@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Tyrolean Complexity Tool: Features and Usage.
@@ Property / cites work: Tyrolean Complexity Tool: Features and Usage. / rank @@
+Normal rank
@@ Property / cites work @@
+Guest editorial
@@ Property / cites work: Guest editorial / rank @@
+Normal rank
@@ Property / cites work @@
+A new function algebra of EXPTIME functions by safe nested recursion
+Normal rank
@@ Property / cites work @@
+A Path Order for Rewrite Systems that Compute Exponential Time Functions
+Normal rank
@@ Property / cites work @@
+Analysing the implicit complexity of programs.
@@ Property / cites work: Analysing the implicit complexity of programs. / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Complexity Analysis by Rewriting
@@ Property / cites work: Complexity Analysis by Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Path Orders
@@ Property / cites work: Polynomial Path Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms with polynomial interpretation termination proof
+Normal rank
@@ Property / cites work @@
+Quasi-interpretations. A way to control resources
@@ Property / cites work: Quasi-interpretations. A way to control resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+On tiered small jump operators
@@ Property / cites work: On tiered small jump operators / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Quadratic Derivational Complexities Using Context Dependent Interpretations
+Normal rank
@@ Property / cites work @@
+Amortised Resource Analysis and Typed Polynomial Interpretations
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on Context-Sensitive Rewriting
+Normal rank
@@ Property / cites work @@
+Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems
+Normal rank
@@ Property / cites work @@
+A Combination Framework for Complexity
@@ Property / cites work: A Combination Framework for Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+The realm of primitive recursion
@@ Property / cites work: The realm of primitive recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263838
@@ Property / cites work: Q4263838 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+On Constructor Rewrite Systems and the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+Complexity Analysis by Graph Rewriting
@@ Property / cites work: Complexity Analysis by Graph Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the Gap Between Runtime Complexity and Polytime Computability.
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Modular Complexity Analysis via Relative Complexity
+Normal rank