On the modularity of termination of term rewriting systems (Q1349693): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q3703288
@@ Property / cites work: Q3703288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692463
@@ Property / cites work: Q4692463 / rank @@
+Normal rank
@@ Property / cites work @@
+What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
+Normal rank
@@ Property / cites work @@
+Generalized sufficient conditions for modular termination of rewriting
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for modular termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268467
@@ Property / cites work: Q4268467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490728
@@ Property / cites work: Q4490728 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Q3204048
@@ Property / cites work: Q3204048 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Simple termination is difficult
@@ Property / cites work: Simple termination is difficult / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of constructor systems
+Normal rank
@@ Property / cites work @@
+Q4431370
@@ Property / cites work: Q4431370 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of simplifying conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination is not modular for confluent variable-preserving term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4954455
@@ Property / cites work: Q4954455 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination of the direct sum of term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Extensions and comparison of simplification orderings
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination for direct sums of left-linear complete term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting by interpretation
@@ Property / cites work: Termination of term rewriting by interpretation / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)00039-l
+Normal rank
@@ Property / OpenAlex ID @@
+W2031948276
@@ Property / OpenAlex ID: W2031948276 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1349693