Bisimilarity in term graph rewriting. (Q1854321): Difference between revisions

@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222908
@@ Property / cites work: Q4222908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686011
@@ Property / cites work: Q3686011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490954
@@ Property / cites work: Q3490954 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284550
@@ Property / cites work: Q5284550 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular aspects of term graph rewriting
@@ Property / cites work: Modular aspects of term graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsed tree rewriting: Completeness, confluence, and modularity
+Normal rank
@@ Property / cites work @@
+Critical pairs in term graph rewriting
@@ Property / cites work: Critical pairs in term graph rewriting / 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 @@
+Computation on graph-like expressions
@@ Property / cites work: Computation on graph-like expressions / rank @@
+Normal rank