Queries on XML streams with bounded delay and concurrency (Q553309): Difference between revisions

@@ Property / cites work @@
+General Algorithms for Testing the Ambiguity of Finite Automata
+Normal rank
@@ Property / cites work @@
+Marrying Words and Trees
@@ Property / cites work: Marrying Words and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+On the memory requirements of XPath evaluation over XML streams
+Normal rank
@@ Property / cites work @@
+Efficient and Expressive Tree Filters
@@ Property / cites work: Efficient and Expressive Tree Filters / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregate operators in constraint query languages
@@ Property / cites work: Aggregate operators in constraint query languages / rank @@
+Normal rank
@@ Property / cites work @@
+Logical definability and query languages over ranked and unranked trees
+Normal rank
@@ Property / cites work @@
+Q5757086
@@ Property / cites work: Q5757086 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammatical Inference: Algorithms and Applications
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inclusion checking for deterministic tree automata and XML schemas
+Normal rank
@@ Property / cites work @@
+Properties of Visibly Pushdown Transducers
@@ Property / cites work: Properties of Visibly Pushdown Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Streaming tree automata
@@ Property / cites work: Streaming tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Streamable Fragments of Forward XPath
@@ Property / cites work: Streamable Fragments of Forward XPath / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Delay and Concurrency for Earliest Query Answering
+Normal rank
@@ Property / cites work @@
+Earliest Query Answering for Deterministic Nested Word Automata
+Normal rank
@@ Property / cites work @@
+Datalog LITE
@@ Property / cites work: Datalog LITE / rank @@
+Normal rank
@@ Property / cites work @@
+On the minimization of XML schemas and tree automata for unranked trees
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Worst-case optimal algorithm for XPath evaluation over XML streams
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers
@@ Property / cites work: Visibly Pushdown Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of Bounded Valuedness for Transducers
+Normal rank
@@ Property / cites work @@
+Deciding equivalence of finite tree automata
@@ Property / cites work: Deciding equivalence of finite tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite degree of ambiguity of finite tree automata
+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 @@
+On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4727438
@@ Property / cites work: Q4727438 / rank @@
+Normal rank