Visibly pushdown transducers (Q1672009): 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.2018.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2881695248
@@ Property / OpenAlex ID: W2881695248 / rank @@
+Normal rank
@@ Property / cites work @@
+Marrying Words and Trees
@@ Property / cites work: Marrying Words and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Reasoning for Procedural Programs
@@ Property / cites work: Temporal Reasoning for Procedural Programs / 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 @@
+Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
+Normal rank
@@ Property / cites work @@
+A Uniformization Theorem for Nested Word to Word Transductions
+Normal rank
@@ Property / cites work @@
+Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+On Relations Defined by Generalized Finite Automata
+Normal rank
@@ Property / cites work @@
+On tree transducers for partial functions
@@ Property / cites work: On tree transducers for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Macro Tree Translations of Linear Size Increase are MSO Definable
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q2911634
@@ Property / cites work: Q2911634 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Visibly Pushdown Transducers
@@ Property / cites work: Properties of Visibly Pushdown Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers with Look-Ahead
@@ Property / cites work: Visibly Pushdown Transducers with Look-Ahead / rank @@
+Normal rank
@@ Property / cites work @@
+Earliest Query Answering for Deterministic Nested Word Automata
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
+Normal rank
@@ Property / cites work @@
+A note on finite-valued and finitely ambiguous transducers
+Normal rank
@@ Property / cites work @@
+Some decision problems concerning semilinearity and commutation.
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Nested interpolants
@@ Property / cites work: Nested interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Query Automata for Nested Words
@@ Property / cites work: Query Automata for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4414526
@@ Property / cites work: Q4414526 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of typechecking top-down XML transformations
+Normal rank
@@ Property / cites work @@
+Frontiers of tractability for typechecking simple XML transformations
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Query automata over finite trees
@@ Property / cites work: Query automata over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Macro forest transducers
@@ Property / cites work: Macro forest transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers
@@ Property / cites work: Visibly Pushdown Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers with Well-Nested Outputs
+Normal rank
@@ Property / cites work @@
+Lexicographic decomposition of \(k\)-valued transducers
+Normal rank
@@ Property / cites work @@
+Sur les rélations rationnelles entre monoides libres
+Normal rank
@@ Property / cites work @@
+Equivalence of Deterministic Nested Word to Word Transducers
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers for Approximate Validation of Streaming XML
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Finite-Valued Transducers and Deciding Their Equivalence
+Normal rank
@@ Property / cites work @@
+Economy of description for single-valued transducers
+Normal rank
@@ Property / Wikidata QID @@
+Q129576861
@@ Property / Wikidata QID: Q129576861 / rank @@
+Normal rank