A Survey on Decidable Equivalence Problems for Tree Transducers (Q2800413): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Translations on a context free grammar
@@ Property / cites work: Translations on a context free grammar / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence problem for letter-to-letter top-down tree transducers
+Normal rank
@@ Property / cites work @@
+Alphabetic tree relations
@@ Property / cites work: Alphabetic tree relations / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing subsequential transducers: a survey.
@@ Property / cites work: Minimizing subsequential transducers: a survey. / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Attribute grammars and recursive program schemes. I. II
+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 @@
+On the decidability of the sequence equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+The decidability of the equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+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 @@
+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 @@
+Macro Tree Translations of Linear Size Increase are MSO Definable
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic MSO tree transducers is decidable
+Normal rank
@@ Property / cites work @@
+Deciding equivalence of top-down XML transformations in polynomial time
+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 @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+EARLIEST NORMAL FORM AND MINIMIZATION FOR BOTTOM-UP TREE TRANSDUCERS
+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 @@
+A short solution for the HDT0L sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+The intrinsically exponential complexity of the circularity problem for attribute grammars
+Normal rank
@@ Property / cites work @@
+Polynomial size test sets for context-free languages
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of typechecking top-down XML transformations
+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 @@
+Macro forest transducers
@@ Property / cites work: Macro forest transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Single-valuedness of tree transducers is decidable in polynomial time
+Normal rank
@@ Property / cites work @@
+Equivalence of finite-valued tree transducers is decidable
+Normal rank
@@ Property / cites work @@
+Haskell overloading is DEXPTIME-complete
@@ Property / cites work: Haskell overloading is DEXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers
+Normal rank