100 citations · 260 across the 13 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2013★ 38 cited
Graph Logics with Rational Relations
Pablo Barcelo, Diego Figueira, Leonid Libkin
We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topol…
cs.FL2011
Parameterized Regular Expressions and their Languages
Pablo Barceló, Leonid Libkin, Juan Reutter
We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under t…