Graph Logics with Rational Relations and the Generalized Intersection Problem

Pablo Barceló, Diego Figueira, Leonid Libkin. Graph Logics with Rational Relations and the Generalized Intersection Problem. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 115-124, IEEE, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: