Showing 1 - 4 results of 4 for search 'Pablo Barcelo', query time: 0.02s
Refine Results
-
1
Order-Invariant Types and Their Applications by Pablo Barcelo, Leonid Libkin
Published 2016-04-01
Article -
2
Graph Logics with Rational Relations by Pablo Barcelo, Diego Figueira, Leonid Libkin
Published 2013-07-01
Article -
3
Expressive Path Queries on Graph with Data by Pablo Barcelo, Gaelle Fontaine, Anthony Widjaja Lin
Published 2015-10-01
Article -
4
First-Order and Temporal Logics for Nested Words by Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin
Published 2008-11-01
Article