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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-53904-2_105
+Normal rank
@@ Property / OpenAlex ID @@
+W1523609153
@@ Property / OpenAlex ID: W1523609153 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5055769