Deciding equivalence of top-down XML transformations in polynomial time (Q1021574): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2009.01.001
@@ Property / DOI: 10.1016/j.jcss.2009.01.001 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2009.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2164592058
@@ Property / OpenAlex ID: W2164592058 / rank @@
+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 @@
+Tree pattern query minimization
@@ Property / cites work: Tree pattern query minimization / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient automata approach to some problems on context-free grammars.
+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 @@
+The equivalence problem for deterministic MSO tree transducers is decidable
+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 @@
+Q3906457
@@ Property / cites work: Q3906457 / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with deterministic top-down look-ahead
+Normal rank
@@ Property / cites work @@
+Q4210160
@@ Property / cites work: Q4210160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473157
@@ Property / cites work: Q4473157 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of typechecking top-down XML transformations
+Normal rank
@@ Property / cites work @@
+Containment and equivalence for a fragment of XPath
+Normal rank
@@ Property / cites work @@
+Minimization algorithms for sequential transducers
+Normal rank
@@ Property / cites work @@
+Minimal Ascending and Descending Tree Automata
@@ Property / cites work: Minimal Ascending and Descending Tree Automata / 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 @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with two-way tree walking look-ahead
+Normal rank
@@ Property / cites work @@
+Q4185831
@@ Property / cites work: Q4185831 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2009.01.001
@@ Property / DOI: 10.1016/J.JCSS.2009.01.001 / rank @@
+Normal rank