Adding nesting structure to words
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Realizability of concurrent recursive programs
- Visibly pushdown transducers
- Generalizing input-driven languages: theoretical and practical benefits
- Operator precedence and the visibly pushdown property
- Additive number theory via automata theory
- Weighted operator precedence languages
- Logic for \(\omega\)-pushdown automata
- Weighted automata
- On the determinization of event-clock input-driven pushdown automata
- Deciding path size of nondeterministic (and input-driven) pushdown automata
- Context-free timed formalisms: robust automata and linear temporal logics
- Colored nested words
- Symbolic weighted language models, quantitative parsing and automated music transcription
- On the power of pushing or stationary moves for input-driven pushdown automata
- Beyond operator-precedence grammars and languages
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
- Operator precedence temporal logic and model checking
- Multi-matching nested relations
- Nondeterministic state complexity of nested word automata
- Operational state complexity of nested word automata
- Generalized rewrite theories, coherence completion, and symbolic methods
- On exteriority notions in book embeddings and treewidth
- Trimming visibly pushdown automata
- Deterministic input-driven queue automata: finite turns, decidability, and closure properties
- Early nested word automata for XPath query answering on XML streams
- State complexity of operations on input-driven pushdown automata
- The complexity of model checking multi-stack systems
- Games for active XML revisited
- Visibly rational expressions
- Linking theorems for tree transducers
- The (nested) word problem
- Which XML schemas are streaming bounded repairable?
- Colored Nested Words
- Automated program verification
- Sublinear DTD validity
- Synchronizing automata over nested words
- Weighted automata and logics on infinite graphs
- Bounded Parikh automata
- Visibly pushdown transducers with look-ahead
- Rewriting systems over nested data words
- Operator precedence languages: their automata-theoretic and logic characterization
- Locally chain-parsable languages
- Automata and Logics for Concurrent Systems: Five Models in Five Pages
- Interprocedural reachability for flat integer programs
- When input-driven pushdown automata meet reversiblity
- Precedence automata and languages
- An automaton over data words that captures EMSO logic
- Descriptional complexity of input-driven pushdown automata
- Model checking procedural programs
- First-order logic definability of free languages
- Minimization of visibly pushdown automata using partial Max-SAT
- Communicating finite-state machines and two-variable logic
- Sums of Palindromes: an Approach via Automata
- Temporal logic and model checking for operator precedence languages
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Deciding proper conjugacy of classes of one-sided finite-type-Dyck shifts
- Model Checking: From Tools to Theory
- Shuffle Expressions and Words with Nested Data
- Adding Nesting Structure to Words
- First-Order and Temporal Logics for Nested Words
- State complexity of the concatenation of regular tree languages
- Emptiness of ordered multi-pushdown automata is 2ETIME-complete
- Temporal logics for concurrent recursive programs: satisfiability and model checking
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
- Descriptional complexity of unambiguous input-driven pushdown automata
- Jumping finite automata
- scientific article; zbMATH DE number 7439739 (Why is no real title available?)
- Higher-order operator precedence languages
- Input-driven double-head pushdown automata
- Digging input-driven pushdown automata
- A first-order complete temporal logic for structured context-free languages
- Weighted operator precedence languages
- Queue Automata: Foundations and Developments
- Visibly pushdown modular games
- On the path-width of integer linear programming
- Streamable fragments of forward XPath
- State complexity of the quotient operation on input-driven pushdown automata
- Nested interpolants
- Ramsey-based inclusion checking for visibly pushdown automata
- Streamability of nested word transductions
- Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
- Queries on XML streams with bounded delay and concurrency
- Limitations of lower bound methods for deterministic nested word automata
- Languages of Nested Trees
- A Branching Time Variant of CaRet
- Visibly pushdown transducers with well-nested outputs
- Input-driven pushdown automata for edit distance neighborhood
- Further closure properties of input-driven pushdown automata
- Edit distance neighbourhoods of input-driven pushdown automata
- Edit distance neighbourhoods of input-driven pushdown automata
- Input-Driven Double-Head Pushdown Automata
- Interval Temporal Logic for Visibly Pushdown Systems
- On the power of pushing or stationary moves for input-driven pushdown automata
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- Extending Wagner's hierarchy to deterministic visibly pushdown automata
- A survey of model learning techniques for recurrent neural networks
- Synchronizing deterministic push-down automata can be really hard
- Schema-based automata determinization
- Sweeping input-driven pushdown automata
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features
This page was built for publication: Adding nesting structure to words
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452213)
