On sharing, memoization, and polynomial time (Q1640979): Difference between revisions

@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2954984
@@ Property / cites work: Q2954984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850544
@@ Property / cites work: Q4850544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436033
@@ Property / cites work: Q4436033 / rank @@
+Normal rank
@@ Property / cites work @@
+A new function algebra of EXPTIME functions by safe nested recursion
+Normal rank
@@ Property / cites work @@
+Recursion Schemata for NC k
@@ Property / cites work: Recursion Schemata for NC k / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Term rewriting theory for the primitive recursive functions
+Normal rank
@@ Property / cites work @@
+Essentials of Term Graph Rewriting
@@ Property / cites work: Essentials of Term Graph Rewriting / rank @@
+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 @@
+Quasi-interpretations. A way to control resources
@@ Property / cites work: Quasi-interpretations. A way to control resources / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Derivational Complexity Is an Invariant Cost Model
+Normal rank
@@ Property / cites work @@
+Q5111892
@@ Property / cites work: Q5111892 / rank @@
+Normal rank
@@ Property / cites work @@
+On Constructor Rewrite Systems and the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Beta reduction is invariant, indeed
@@ Property / cites work: Beta reduction is invariant, indeed / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the Gap Between Runtime Complexity and Polytime Computability.
+Normal rank
@@ Property / cites work @@
+On quasi-interpretations, blind abstractions and implicit complexity
+Normal rank