Edinburgh Research Explorer

Graph Logics with Rational Relations and the Generalized Intersection Problem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Graph Logics with Rational Relations and the Generalized Intersection Problem. / Barcelo, Pablo; Figueira, Diego; Libkin, Leonid.

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012. Institute of Electrical and Electronics Engineers (IEEE), 2012. p. 115-124.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Barcelo, P, Figueira, D & Libkin, L 2012, 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. Institute of Electrical and Electronics Engineers (IEEE), pp. 115-124. https://doi.org/10.1109/LICS.2012.23

APA

Barcelo, P., Figueira, D., & Libkin, L. (2012). 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 (pp. 115-124). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/LICS.2012.23

Vancouver

Barcelo P, Figueira D, Libkin L. 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. Institute of Electrical and Electronics Engineers (IEEE). 2012. p. 115-124 https://doi.org/10.1109/LICS.2012.23

Author

Barcelo, Pablo ; Figueira, Diego ; Libkin, Leonid. / Graph Logics with Rational Relations and the Generalized Intersection Problem. Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012. Institute of Electrical and Electronics Engineers (IEEE), 2012. pp. 115-124