A combination framework for complexity (Q276251): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2015.12.007
@@ Property / DOI: 10.1016/j.ic.2015.12.007 / rank @@
-Normal rank
@@ Property / cites work @@
+Monotonicity Constraints for Termination in the Integer Domain
+Normal rank
@@ Property / cites work @@
+Algorithms with polynomial interpretation termination proof
+Normal rank
@@ Property / cites work @@
+Termination proofs and the length of derivations
@@ Property / cites work: Termination proofs and the length of derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Closing the Gap Between Runtime Complexity and Polytime Computability.
+Normal rank
@@ Property / cites work @@
+On Constructor Rewrite Systems and the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+A new order-theoretic characterisation of the polytime computable functions
+Normal rank
@@ Property / cites work @@
+Polynomial Path Orders
@@ Property / cites work: Polynomial Path Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations
+Normal rank
@@ Property / cites work @@
+A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems
+Normal rank
@@ Property / cites work @@
+POP* and Semantic Labeling Using SAT
@@ Property / cites work: POP* and Semantic Labeling Using SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Complexity Analysis via Relative Complexity
+Normal rank
@@ Property / cites work @@
+Complexity, Graphs, and the Dependency Pair Method
+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 @@
+Automated Complexity Analysis Based on Context-Sensitive Rewriting
+Normal rank
@@ Property / cites work @@
+Quasi-interpretation Synthesis by Decomposition
@@ Property / cites work: Quasi-interpretation Synthesis by Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+A Combination Framework for Complexity
@@ Property / cites work: A Combination Framework for Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity analysis of term-rewriting systems
@@ Property / cites work: Complexity analysis of term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
+Normal rank
@@ Property / cites work @@
+Automatic Type Inference for Amortised Heap-Space Analysis
+Normal rank
@@ Property / cites work @@
+Analyzing innermost runtime complexity of term rewriting by dependency pairs
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+The Derivational Complexity Induced by the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Uncurrying for termination and complexity
@@ Property / cites work: Uncurrying for termination and complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2015.12.007
@@ Property / DOI: 10.1016/J.IC.2015.12.007 / rank @@
+Normal rank