XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430): Difference between revisions

@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3095509952
@@ Property / OpenAlex ID: W3095509952 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05730
@@ Property / arXiv ID: 1809.05730 / 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 @@
+Q3967069
@@ Property / cites work: Q3967069 / 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 @@
+Q4362731
@@ Property / cites work: Q4362731 / 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 @@
+Tree-Walking Automata
@@ Property / cites work: Tree-Walking Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive Power of Pebble Automata
@@ Property / cites work: Expressive Power of Pebble Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708971
@@ Property / cites work: Q2708971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+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 @@
+Simple program schemes and formal languages
@@ Property / cites work: Simple program schemes and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+The time complexity of typechecking tree-walking tree transducers
+Normal rank
@@ Property / cites work @@
+Q4941149
@@ Property / cites work: Q4941149 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
+Normal rank
@@ Property / cites work @@
+Q4269133
@@ Property / cites work: Q4269133 / rank @@
+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 @@
+IO and OI. II
@@ Property / cites work: IO and OI. II / rank @@
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown machines for the macro tree transducer
@@ Property / cites work: Pushdown machines for the macro tree transducer / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925893
@@ Property / cites work: Q3925893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210160
@@ Property / cites work: Q4210160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601401
@@ Property / cites work: Q3601401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+On the tree-transformation power of XSLT
@@ Property / cites work: On the tree-transformation power of XSLT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesized and inherited functions. A new computational model for syntax-directed semantics
+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 @@
+Q3396578
@@ Property / cites work: Q3396578 / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Complementing deterministic tree-walking automata
@@ Property / cites work: Complementing deterministic tree-walking automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3615277
@@ Property / cites work: Q3615277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411812
@@ Property / cites work: Q4411812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413449
@@ Property / cites work: Q4413449 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro forest transducers
@@ Property / cites work: Macro forest transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Pebble Tree-Walking Automata
@@ Property / cites work: Complexity of Pebble Tree-Walking Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for XML -- a survey
@@ Property / cites work: Automata for XML -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata
@@ Property / cites work: Alternating tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Transitive closure logic, nested tree walking automata, and XPath
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank