Fingerprint
Dive into the research topics of 'First-Order and Temporal Logics for Nested Words'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
First-Order and Temporal Logics for Nested Words
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
Research output: Contribution to journal › Article › peer-review