Amanote Research
Register
Sign In
Graph Logics With Rational Relations and the Generalized Intersection Problem
doi 10.1109/lics.2012.23
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2012
Authors
Pablo Barcelo
Diego Figueira
Leonid Libkin
Publisher
IEEE