Linear generalized semi-monadic rewrite systems effectively preserve recognizability (Q1127543): Difference between revisions

@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree generating regular systems
@@ Property / cites work: Tree generating regular systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of reachability for disjoint union of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Bottom-up tree pushdown automata: Classification and connection with rewrite systems
+Normal rank
@@ Property / cites work @@
+Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of deterministic top-down tree transducers
+Normal rank
@@ Property / cites work @@
+On injectivity of deterministic top-down tree transducers
+Normal rank
@@ Property / cites work @@
+Q3468622
@@ Property / cites work: Q3468622 / 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 @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035665
@@ Property / cites work: Q4035665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847003
@@ Property / cites work: Q4847003 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic tree pushdown automata and monadic tree rewriting systems
+Normal rank