100 citations · 260 across the 13 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2016★ 2 cited
Order-Invariant Types and Their Applications
Pablo Barcelo, Leonid Libkin
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the prese…
cs.LO2009
Algorithmic metatheorems for decidable LTL model checking over infinite systems
Anthony Widjaja To, Leonid Libkin
By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not…
cs.LO2008★ 100 cited
First-Order and Temporal Logics for Nested Words
Rajeev Alur, Marcelo Arenas, Pablo Barcelo +3
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of…