Deciding origin equivalence of weakly self-nesting macro tree transducers (Q2680223): Difference between revisions

@@ Property / cites work @@
+Transducers with Origin Information
@@ Property / cites work: Transducers with Origin Information / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the finiteness of ranges of tree transductions
+Normal rank
@@ Property / cites work @@
+Macro tree transducers, attribute grammars, and MSO definable tree translations.
+Normal rank
@@ Property / cites work @@
+Output string languages of compositions of deterministic macro tree transducers
+Normal rank
@@ Property / cites work @@
+A comparison of pebble tree transducers with macro tree transducers
+Normal rank
@@ Property / cites work @@
+Deciding equivalence of top-down XML transformations in polynomial time
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906457
@@ Property / cites work: Q3906457 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems of tree transducers with origin
@@ Property / cites work: Decision problems of tree transducers with origin / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210160
@@ Property / cites work: Q4210160 / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Macro forest transducers
@@ Property / cites work: Macro forest transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable
+Normal rank
@@ Property / cites work @@
+Deciding equivalence of separated non-nested attribute systems in polynomial time
+Normal rank