On quasi-interpretations, blind abstractions and implicit complexity (Q2909730): Difference between revisions

@@ Property / author @@
+Jean-Yves Moyen
@@ Property / author: Jean-Yves Moyen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Algorithms with polynomial interpretation termination proof
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Complexity Analysis by Rewriting
@@ Property / cites work: Complexity Analysis by Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Sup-interpretations, a semantic method for static analysis of program resources
+Normal rank
@@ Property / cites work @@
+Resource Analysis by Sup-interpretation
@@ Property / cites work: Resource Analysis by Sup-interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+LOGSPACE and PTIME characterized by programming languages
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Quasi-interpretation Synthesis by Decomposition
@@ Property / cites work: Quasi-interpretation Synthesis by Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Linear types and non-size-increasing polynomial time computation.
+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 @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129511000685
+Normal rank
@@ Property / OpenAlex ID @@
+W2625940422
@@ Property / OpenAlex ID: W2625940422 / rank @@
+Normal rank