Languages of Nested Trees

DOI10.1007/11817963_31MaRDI QIDQ5756734zbMATH OpenOpenAlexFDO

Authors Swarat Chaudhuri, Parthasarathy Madhusudan, Rajeev Alur

Publication date 5 September 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817963_31

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5245252
• FO Model Checking on Nested Pushdown Trees
• Marrying Words and Trees
• Marrying Words and Trees
• Adding nesting structure to words

Cited in

(20)

• Dependency Tree Automata
• Grammatical codes of trees
• Nested Sibling Tree Automata
• Improved model checking of hierarchical systems
• scientific article; zbMATH DE number 1500543 (Why is no real title available?)
• Branching Temporal Logic of Calls and Returns for Pushdown Systems
• An automata-theoretic approach to infinite-state systems
• Tree-based generation of languages of fractals
• Propositional dynamic logic with recursive programs
• A Branching Time Variant of CaRet
• Querying linguistic trees
• Regular languages of nested words: fixed points, automata, and synchronization
• General varieties of tree languages
• Learning Tree Languages
• scientific article; zbMATH DE number 3880129 (Why is no real title available?)
• FO Model Checking on Nested Pushdown Trees
• Multi-matching nested relations
• First-order model checking on nested pushdown trees is complete for doubly exponential alternating time
• Languages of dot-depth 3/2
• Reducing behavioural to structural properties of programs with procedures

This page was built for publication: Languages of Nested Trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756734)