Graph Logics with Rational Relations and the Generalized Intersection Problem
Más información
Título según WOS: | Graph Logics with Rational Relations and the Generalized Intersection Problem |
Título según SCOPUS: | Graph logics with rational relations and the generalized intersection problem |
Título de la Revista: | Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 |
Editorial: | no publisher |
Fecha de publicación: | 2012 |
Página de inicio: | 115 |
Página final: | 124 |
Idioma: | English |
URL: | http://www.scopus.com/inward/record.url?eid=2-s2.0-84866919469&partnerID=40&md5=23e3edafb7f961b903f946c86575a514 |
DOI: |
10.1109/LICS.2012.23 |
Notas: | ISI, SCOPUS |