Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil ImmermanLeonid Libkin. First-Order and Temporal Logics for Nested Words. In Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Wroclaw, Poland, pages 151-160, 2007. (2007)

First-Order and Temporal Logics for Nested Words

Tipo de publicación : Conferencia No DCC

First-Order and Temporal Logics for Nested Words

Abstract