papers
Publications (9)
cs.LO2009
Algorithmic metatheorems for decidable LTL model checking over infinite systems
Anthony Widjaja To, Leonid Libkin
cs.LO2006
Logics for Unranked Trees: An Overview
Leonid Libkin
cs.DB2017
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló +18
cs.DB2018
Data Context Informed Data Wrangling
Martin Koehler, Alex Bogatu, Cristina Civili +6
cs.LO2016
Order-Invariant Types and Their Applications
Pablo Barcelo, Leonid Libkin
cs.LO2011
First-Order and Temporal Logics for Nested Words
Rajeev Alur, Marcelo Arenas, Pablo Barcelo +3
cs.DB2018
Formal Semantics of the Language Cypher
Nadime Francis, Alastair Green, Paolo Guagliardo +8
cs.FL2011
Parameterized Regular Expressions and their Languages
Pablo Barceló, Leonid Libkin, Juan Reutter
cs.FL2013
Graph Logics with Rational Relations
Pablo Barcelo, Diego Figueira, Leonid Libkin