How to decide functionality of compositions of top-down tree transducers (Q6108731): Difference between revisions

@@ Property / cites work @@
+Translations on a context free grammar
@@ Property / cites work: Translations on a context free grammar / rank @@
+Normal rank
@@ 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 @@
+Top-down tree transducers with regular look-ahead
@@ Property / cites work: Top-down tree transducers with regular look-ahead / rank @@
+Normal rank
@@ Property / cites work @@
+On tree transducers for partial functions
@@ Property / cites work: On tree transducers for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Three hierarchies of transducers
@@ Property / cites work: Three hierarchies of transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding equivalence of top-down XML transformations in polynomial time
+Normal rank
@@ Property / cites work @@
+Q3906457
@@ Property / cites work: Q3906457 / rank @@
+Normal rank
@@ Property / cites work @@
+Transducer-based analysis of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+A Survey on Decidable Equivalence Problems for Tree Transducers
+Normal rank
@@ Property / cites work @@
+Definability results for top-down tree transducers
+Normal rank
@@ Property / cites work @@
+How to decide functionality of compositions of top-down tree transducers
+Normal rank
@@ Property / cites work @@
+Polynomial-time inverse computation for accumulative functions with multiple data traversals
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank