Undecidable properties of deterministic top-down tree transducers (Q1341717): Difference between revisions

@@ Property / cites work @@
+Composition of top-down and bottom-up tree transductions
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+Tree transducers, L systems, and two-way machines
@@ Property / cites work: Tree transducers, L systems, and two-way machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028362
@@ Property / cites work: Q3028362 / 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 @@
+Q4431392
@@ Property / cites work: Q4431392 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank