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

@@ Property / DOI @@
-.1016/j.ic.2018.05.003
@@ Property / DOI: 10.1016/j.ic.2018.05.003 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2018.05.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2808308120
@@ Property / OpenAlex ID: W2808308120 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.IC.2018.05.003
@@ Property / DOI: 10.1016/J.IC.2018.05.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1640979