Termination of term rewriting using dependency pairs (Q1978641): Difference between revisions

@@ Property / cites work @@
+Termination by absence of infinite chains of dependency pairs
+Normal rank
@@ Property / cites work @@
+Proving innermost normalisation automatically
@@ Property / cites work: Proving innermost normalisation automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of constructor systems
@@ Property / cites work: Termination of constructor systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination by completion
@@ Property / cites work: Termination by completion / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Proving termination of (conditional) rewrite systems. A semantic approach
+Normal rank
@@ Property / cites work @@
+Q4385535
@@ Property / cites work: Q4385535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Natural termination
@@ Property / cites work: Natural termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the Knuth Bendix ordering
@@ Property / cites work: Automating the Knuth Bendix ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537515
@@ Property / cites work: Q4537515 / rank @@
+Normal rank
@@ Property / cites work @@
+Dummy elimination: Making termination easier
@@ Property / cites work: Dummy elimination: Making termination easier / rank @@
+Normal rank
@@ Property / cites work @@
+Generating polynomial orderings for termination proofs
+Normal rank
@@ Property / cites work @@
+Termination of nested and mutually recursive algorithms
+Normal rank
@@ Property / cites work @@
+Q2782485
@@ Property / cites work: Q2782485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846997
@@ Property / cites work: Q4846997 / rank @@
+Normal rank
@@ Property / cites work @@
+On proving termination by innermost termination
@@ Property / cites work: On proving termination by innermost termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular proofs for completeness of hierarchical term rewriting systems
+Normal rank
@@ Property / cites work @@
+Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4705617
@@ Property / cites work: Q4705617 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple termination of rewrite systems
@@ Property / cites work: Simple termination of rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generating polynomial orderings
@@ Property / cites work: Generating polynomial orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic termination proofs with transformation orderings
+Normal rank
@@ Property / cites work @@
+Q4846999
@@ Property / cites work: Q4846999 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(99)00207-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2090855107
@@ Property / OpenAlex ID: W2090855107 / rank @@
+Normal rank