Collapsed tree rewriting: Completeness, confluence, and modularity (Q5881178): Difference between revisions

@@ Property / cites work @@
+On confluence for weakly normalizing systems
@@ Property / cites work: On confluence for weakly normalizing systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122833
@@ Property / cites work: Q4122833 / rank @@
+Normal rank
@@ Property / cites work @@
+Redex capturing in term graph rewriting (concise version)
+Normal rank
@@ Property / cites work @@
+Implementing term rewriting by jungle evaluation
@@ Property / cites work: Implementing term rewriting by jungle evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4038704
@@ Property / cites work: Q4038704 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing term rewriting by graph reduction: Termination of combined systems
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank