Similar Items: On the Succinctness of Atoms of Dependency
- The succinctness of first-order logic on linear orders
- Countdown games, and simulation on (succinct) one-counter nets
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
- Hardness of monadic second-order formulae over succinct graphs
- Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
- Succinct Graph Representations and Algorithmic Applications