Similar Items: First-Order and Temporal Logics for Nested Words
- Positive First-order Logic on Words and Graphs
- Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Streamability of nested word transductions
- On the decidability and complexity of Metric Temporal Logic over finite words
- A First-Order Complete Temporal Logic for Structured Context-Free Languages