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

@@ Property / DOI @@
-.1007/s10817-012-9248-3
@@ Property / DOI: 10.1007/s10817-012-9248-3 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6184683
@@ Property / zbMATH DE Number: 6184683 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+term rewriting
@@ Property / zbMATH Keywords: term rewriting / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+termination
@@ Property / zbMATH Keywords: termination / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+uncurrying
@@ Property / zbMATH Keywords: uncurrying / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / 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.1007/s10817-012-9248-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1983193642
@@ Property / OpenAlex ID: W1983193642 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10817-012-9248-3
@@ Property / DOI: 10.1007/S10817-012-9248-3 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:352959