The following pages link to Visibly pushdown languages (Q3580970):
Displaying 49 items.
- On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata (Q3503642) (← links)
- Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504) (← links)
- Language Strength Reduction (Q3522077) (← links)
- An Infinite Automaton Characterization of Double Exponential Time (Q3540169) (← links)
- Extensional Uniformity for Boolean Circuits (Q3540171) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Event-Clock Visibly Pushdown Automata (Q3599103) (← links)
- Realizability of Concurrent Recursive Programs (Q3617744) (← links)
- Bounded Delay and Concurrency for Earliest Query Answering (Q3618594) (← links)
- Rigid Tree Automata (Q3618602) (← links)
- Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata (Q3618608) (← links)
- Nested Sibling Tree Automata (Q3625699) (← links)
- CaRet With Forgettable Past (Q4982130) (← links)
- (Q5005113) (← links)
- Verifying quantitative temporal properties of procedural programs (Q5009429) (← links)
- (Q5015272) (← links)
- Digging input-driven pushdown automata (Q5021110) (← links)
- (Q5028456) (← links)
- Revisiting Underapproximate Reachability for Multipushdown Systems (Q5039520) (← links)
- Space Complexity of Stack Automata Models (Q5041255) (← links)
- Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata (Q5042238) (← links)
- (Q5089282) (← links)
- (Q5090478) (← links)
- (Q5101344) (← links)
- Queue Automata: Foundations and Developments (Q5112182) (← links)
- (Q5136340) (← links)
- State Complexity of the Quotient Operation on Input-Driven Pushdown Automata (Q5205050) (← links)
- (Q5216306) (← links)
- Visibly Pushdown Transducers for Approximate Validation of Streaming XML (Q5445303) (← links)
- A Branching Time Variant of CaRet (Q5883579) (← links)
- Input-driven multi-counter automata (Q5918274) (← links)
- Streaming ranked-tree-to-string transducers (Q5918275) (← links)
- Input-driven pushdown automata for edit distance neighborhood (Q5918675) (← links)
- Edit distance neighbourhoods of input-driven pushdown automata (Q5920061) (← links)
- Edit distance neighbourhoods of input-driven pushdown automata (Q5920214) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- On the power of pushing or stationary moves for input-driven pushdown automata (Q6131193) (← links)
- Model Checking Temporal Properties of Recursive Probabilistic Programs (Q6137848) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- Space Complexity of Stack Automata Models (Q6169902) (← links)
- Validating streaming JSON documents with learned VPAs (Q6535358) (← links)
- Stack-aware hyperproperties (Q6535363) (← links)
- A temporal logic for higher-order functional programs (Q6536300) (← links)
- From words to pictures: row-column combinations and Chomsky-Schützenberger theorem (Q6548960) (← links)
- On the decidability of infix inclusion problem (Q6580072) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)
- Theoretical computer science: computational complexity (Q6602263) (← links)
- Descriptional complexity of finite automata -- selected highlights (Q6614536) (← links)
- Separating the expressive power of propositional dynamic and modal fixpoint logics (Q6643745) (← links)
