First-Order and Temporal Logics for Nested WordsOpen Website

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

2008 (modified: 15 Apr 2023)Log. Methods Comput. Sci. 2008Readers: Everyone
0 Replies