Critical pairs in term graph rewriting (Q5096914): Difference between revisions

@@ Property / cites work @@
+Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+REDEX CAPTURING IN TERM GRAPH REWRITING
@@ Property / cites work: REDEX CAPTURING IN TERM GRAPH REWRITING / rank @@
+Normal rank
@@ Property / cites work @@
+Graph reduction. Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986
+Normal rank
@@ Property / cites work @@
+Q3780426
@@ Property / cites work: Q3780426 / 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 @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657415
@@ Property / cites work: Q3657415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsed tree rewriting: Completeness, confluence, and modularity
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank