Uncurrying for termination and complexity (Q352959): Difference between revisions

@@ Property / cites work @@
+Q4447246
@@ Property / cites work: Q4447246 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization results for typeable rewrite systems
+Normal rank
@@ Property / cites work @@
+HORPO with Computability Closure: A Reconstruction
+Normal rank
@@ Property / cites work @@
+Q2703689
@@ Property / cites work: Q2703689 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255514
@@ Property / cites work: Q4255514 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the dependency pair method
@@ Property / cites work: Automating the dependency pair method / rank @@
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+Uncurrying for Termination
@@ Property / cites work: Uncurrying for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Polymorphic higher-order recursive path orderings
@@ Property / cites work: Polymorphic higher-order recursive path orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing curried and uncurried rewriting
@@ Property / cites work: Comparing curried and uncurried rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Order Dependency Pairs for Algebraic Functional Systems
+Normal rank
@@ Property / cites work @@
+Some characteristics of strong innermost normalization
+Normal rank
@@ Property / cites work @@
+Enhancing dependency pair method using strong computability in simply-typed term rewriting
+Normal rank
@@ Property / cites work @@
+Modular properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4705617
@@ Property / cites work: Q4705617 / rank @@
+Normal rank
@@ Property / cites work @@
+Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems
+Normal rank
@@ Property / cites work @@
+The Derivational Complexity Induced by the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations
+Normal rank
@@ Property / cites work @@
+Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting
+Normal rank
@@ Property / cites work @@
+Q4431349
@@ Property / cites work: Q4431349 / rank @@
+Normal rank
@@ Property / cites work @@
+Random Descent
@@ Property / cites work: Random Descent / rank @@
+Normal rank
@@ Property / cites work @@
+Signature Extensions Preserve Termination
@@ Property / cites work: Signature Extensions Preserve Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized and Formalized Uncurrying
@@ Property / cites work: Generalized and Formalized Uncurrying / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS
@@ Property / cites work: POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS / 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 @@
+Modular Complexity Analysis via Relative Complexity
+Normal rank
@@ Property / cites work @@
+Satisfiability of Non-linear (Ir)rational Arithmetic
+Normal rank