Characterizing polynomial time complexity of stream programs using interpretations (Q2346991): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.03.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2036258793
@@ Property / OpenAlex ID: W2036258793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4062633
@@ Property / cites work: Q4062633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138134
@@ Property / cites work: Q4138134 / rank @@
+Normal rank
@@ Property / cites work @@
+A new Characterization of Type-2 Feasibility
@@ Property / cites work: A new Characterization of Type-2 Feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850556
@@ Property / cites work: Q4850556 / rank @@
+Normal rank
@@ Property / cites work @@
+On characterizations of the basic feasible functionals, Part I
+Normal rank
@@ Property / cites work @@
+Ramified Corecurrence and Logspace
@@ Property / cites work: Ramified Corecurrence and Logspace / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible Functions over Co-inductive Data
@@ Property / cites work: Feasible Functions over Co-inductive Data / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / 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 @@
+Higher-Order Interpretations and Program Complexity
+Normal rank
@@ Property / cites work @@
+Sup-interpretations, a semantic method for static analysis of program resources
+Normal rank
@@ Property / cites work @@
+Upper Bounds on Stream I/O Using Semantic Interpretations
+Normal rank
@@ Property / cites work @@
+Q4681361
@@ Property / cites work: Q4681361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
+Normal rank
@@ Property / cites work @@
+Synthesis of sup-interpretations: a survey
@@ Property / cites work: Synthesis of sup-interpretations: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Productivity of stream definitions
@@ Property / cites work: Productivity of stream definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms with polynomial interpretation termination proof
+Normal rank
@@ Property / cites work @@
+Derivational Complexity Is an Invariant Cost Model
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531985
@@ Property / cites work: Q4531985 / rank @@
+Normal rank