Sufficient conditions for modular termination of conditional term rewriting systems (Q5881180): Difference between revisions

@@ 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-56393-8_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1578181970
@@ Property / OpenAlex ID: W1578181970 / 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 @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255514
@@ Property / cites work: Q4255514 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
@@ Property / cites work @@
+Q3204048
@@ Property / cites work: Q3204048 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination of 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 the direct sum of left-linear term rewriting systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5881180