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]

Authors

Pablo Barceló

This author has not been identified. Look up 'Pablo Barceló' in Google

Diego Figueira

This author has not been identified. Look up 'Diego Figueira' in Google

Leonid Libkin

This author has not been identified. Look up 'Leonid Libkin' in Google