Temporal logics over unranked trees
Barcelo, P., Libkin, L.
Published in 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005)
Published in 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005)
Get full text
Conference Proceeding
An improved algorithm for the incremental recomputation of active relational expressions
Griffin, T., Libkin, L., Trickey, H.
Published in IEEE transactions on knowledge and data engineering (01.05.1997)
Published in IEEE transactions on knowledge and data engineering (01.05.1997)
Get full text
Journal Article
Tree extension algebras: logics, automata, and query languages
Get full text
Conference Proceeding
Journal Article
On the forms of locality over finite models
Libkin, L.
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)
Get full text
Conference Proceeding
Logical definability and query languages over unranked trees
Libkin, L., Neven, F.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
On counting logics and local properties
Libkin, L.
Published in Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) (1998)
Published in Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) (1998)
Get full text
Conference Proceeding
On the structure of queries in constraint query languages
Benedikt, M., Libkin, L.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Efficient incremental validation of XML documents
Barbosa, D., Mendelzon, A.O., Libkin, L., Mignet, L., Arenas, M.
Published in Proceedings. 20th International Conference on Data Engineering (2004)
Published in Proceedings. 20th International Conference on Data Engineering (2004)
Get full text
Conference Proceeding
Graph Logics with Rational Relations and the Generalized Intersection Problem
Barcelo, P., Figueira, D., Libkin, L.
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Get full text
Conference Proceeding
First-Order and Temporal Logics for Nested Words
Alur, R., Arenas, M., Barcelo, P., Etessami, K., Immerman, N., Libkin, L.
Published in 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) (01.07.2007)
Published in 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) (01.07.2007)
Get full text
Conference Proceeding