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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-60618-1_68
+Normal rank
@@ Property / OpenAlex ID @@
+W1501947878
@@ Property / OpenAlex ID: W1501947878 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:6122214