Languages of Nested Trees

DOI10.1007/11817963_31zbMath1188.68167OpenAlexW2135909702MaRDI QIDQ5756734

Swarat Chaudhuri, P. 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)

Related Items (10)

A Branching Time Variant of CaRet ⋮ FO Model Checking on Nested Pushdown Trees ⋮ Propositional dynamic logic with recursive programs ⋮ Reducing behavioural to structural properties of programs with procedures ⋮ Improved model checking of hierarchical systems ⋮ Branching Temporal Logic of Calls and Returns for Pushdown Systems ⋮ Regular languages of nested words: fixed points, automata, and synchronization ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Dependency Tree Automata ⋮ Nested Sibling Tree Automata

This page was built for publication: Languages of Nested Trees