Automata for XML -- a survey (Q878749): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2006.10.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2092398161
@@ Property / OpenAlex ID: W2092398161 / 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 @@
+Typechecking XML views of relational databases
@@ Property / cites work: Typechecking XML views of relational databases / rank @@
+Normal rank
@@ Property / cites work @@
+XML with data values: Typechecking revisited.
@@ Property / cites work: XML with data values: Typechecking revisited. / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4826114
@@ Property / cites work: Q4826114 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal model for an expressive fragment of XSLT
@@ Property / cites work: A formal model for an expressive fragment of XSLT / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-walking automata do not recognize all regular languages
+Normal rank
@@ Property / cites work @@
+An algebraic approach to data languages and timed languages
+Normal rank
@@ Property / cites work @@
+One-unambiguous regular languages
@@ Property / cites work: One-unambiguous regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708971
@@ Property / cites work: Q2708971 / rank @@
+Normal rank
@@ Property / cites work @@
+THE REGULARITY OF TWO-WAY NONDETERMINISTIC TREE AUTOMATA LANGUAGES
+Normal rank
@@ Property / cites work @@
+Q5714249
@@ Property / cites work: Q5714249 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447237
@@ Property / cites work: Q4447237 / rank @@
+Normal rank
@@ Property / cites work @@
+XML queries and constraints, containment and reformulation
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4941149
@@ Property / cites work: Q4941149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269133
@@ Property / cites work: Q4269133 / rank @@
+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 @@
+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 @@
+The complexity of first-order and monadic second-order logic revisited
+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 ABSTRACT THEORY OF AUTOMATA
@@ Property / cites work: THE ABSTRACT THEORY OF AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of XPath query evaluation and XML typing
+Normal rank
@@ Property / cites work @@
+Monadic datalog and the expressive power of languages for Web information extraction
+Normal rank
@@ Property / cites work @@
+Conjunctive queries over trees
@@ Property / cites work: Conjunctive queries over trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414534
@@ Property / cites work: Q4414534 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression pattern matching for XML
@@ Property / cites work: Regular expression pattern matching for XML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153609
@@ Property / cites work: Q4153609 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778879
@@ Property / cites work: Q2778879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415261
@@ Property / cites work: Q4415261 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4473157
@@ Property / cites work: Q4473157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414526
@@ Property / cites work: Q4414526 / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of tractability for typechecking simple XML transformations
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Containment and equivalence for a fragment of XPath
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+On two-way tree automata
@@ Property / cites work: On two-way tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Attribute grammars for unranked trees as a query language for structured documents
+Normal rank
@@ Property / cites work @@
+Query automata over finite trees
@@ Property / cites work: Query automata over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411812
@@ Property / cites work: Q4411812 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of structured document query languages based on attribute grammars
+Normal rank
@@ Property / cites work @@
+On the power of tree-walking automata.
@@ Property / cites work: On the power of tree-walking automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414544
@@ Property / cites work: Q4414544 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+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 @@
+Q4536402
@@ Property / cites work: Q4536402 / rank @@
+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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714247
@@ Property / cites work: Q5714247 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel and two-way automata on directed ordered acyclic graphs
+Normal rank
@@ Property / cites work @@
+Q4449164
@@ Property / cites work: Q4449164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414543
@@ Property / cites work: Q4414543 / rank @@
+Normal rank