Similar Items: Logics for Unranked Trees: An Overview
- Computation Tree Logic with Deadlock Detection
- Algebraic and logical descriptions of generalized trees
- Two-Way Unary Temporal Logic over Trees
- Wreath Products of Forest Algebras, with Applications to Tree Logics
- Guarded Second-Order Logic, Spanning Trees, and Network Flows
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation