On termination of graph rewriting (Q6122214): Difference between revisions

@@ Property / cites work @@
+Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
+Normal rank
@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122833
@@ Property / cites work: Q4122833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4033498
@@ Property / cites work: Q4033498 / rank @@
+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 @@
+Q3684139
@@ Property / cites work: Q3684139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank