On relationship between term rewriting systems and regular tree languages (Q5055769): Difference between revisions

@@ Property / cites work @@
+Q3490949
@@ Property / cites work: Q3490949 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive proofs by specification transformations
@@ Property / cites work: Inductive proofs by specification transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028337
@@ Property / cites work: Q3028337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725540
@@ Property / cites work: Q3725540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490951
@@ Property / cites work: Q3490951 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions in tree replacement systems
@@ Property / cites work: Reductions in tree replacement systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Proving Uniform Termination and Restricted Termination of Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On sufficient-completeness and related properties of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Sufficient-completeness, ground-reducibility and their complexity
+Normal rank
@@ Property / cites work @@
+Q3713575
@@ Property / cites work: Q3713575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027631
@@ Property / cites work: Q4027631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490955
@@ Property / cites work: Q3490955 / rank @@
+Normal rank
@@ Property / cites work @@
+On relationship between term rewriting systems and regular tree languages
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / rank @@
+Normal rank