First-Order and Temporal Logics for Nested Words.

Rajeev Alur, Marcelo Arenas, Pablo Barcel, Kousha Etessami, Neil Immerman, Leonid Libkin

Browse the full LICS paper archive.