Termination of constructor systems (Q5055852): Difference between revisions

@@ Property / cites work @@
+Termination by absence of infinite chains of dependency pairs
+Normal rank
@@ Property / cites work @@
+Termination of constructor systems
@@ Property / cites work: Termination of constructor systems / rank @@
+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 @@
+Proving termination of (conditional) rewrite systems. A semantic approach
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on simplification orderings
@@ Property / cites work: A note on simplification orderings / 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 @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural termination
@@ Property / cites work: Natural termination / 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 @@
+An improved general path order
@@ Property / cites work: An improved general path order / rank @@
+Normal rank
@@ Property / cites work @@
+Generating polynomial orderings for termination proofs
+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 @@
+Q3779786
@@ Property / cites work: Q3779786 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / 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 @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+InKa
@@ Property / describes a project that uses: InKa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLAM
@@ Property / describes a project that uses: CLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIKE
@@ Property / describes a project that uses: SPIKE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oyster
@@ Property / describes a project that uses: Oyster / 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/3-540-61464-8_43
+Normal rank
@@ Property / OpenAlex ID @@
+W2144449052
@@ Property / OpenAlex ID: W2144449052 / rank @@
+Normal rank