The equivalence problem for deterministic MSO tree transducers is decidable (Q845868): 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 @@
+A comparison of tree transductions defined by monadic second order logic and by attribute grammars
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+On the equivalence problem for attribute systems
@@ Property / cites work: On the equivalence problem for attribute systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+MSO definable string transductions and two-way finite-state transducers
+Normal rank
@@ Property / cites work @@
+Macro tree transducers, attribute grammars, and MSO definable tree translations.
+Normal rank
@@ Property / cites work @@
+A comparison of pebble tree transducers with macro tree transducers
+Normal rank
@@ Property / cites work @@
+Macro Tree Translations of Linear Size Increase are MSO Definable
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+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 @@
+Q3906457
@@ Property / cites work: Q3906457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210160
@@ Property / cites work: Q4210160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable
+Normal rank
@@ Property / cites work @@
+DST mappings of languages and related problems
@@ Property / cites work: 2DST mappings of languages and related problems / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185831
@@ Property / cites work: Q4185831 / rank @@
+Normal rank