Infinite normal forms for non-linear term rewriting systems (Q672235): Difference between revisions

@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772711
@@ Property / cites work: Q4772711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4934252
@@ Property / cites work: Q4934252 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting strategy to verify observational congruence
+Normal rank
@@ Property / cites work @@
+Deciding observational congruence of finite-state CCS expressions by rewriting
+Normal rank
@@ Property / cites work @@
+Q4035244
@@ Property / cites work: Q4035244 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational rewriting
@@ Property / cites work: Rational rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank