12 results on '"Leonid Libkin"'
Search Results
2. Graph Logics with Rational Relations and the Generalized Intersection Problem.
3. First-Order and Temporal Logics for Nested Words.
4. Temporal Logics over Unranked Trees.
5. Logical Definability and Query Languages over Unranked Trees.
6. A Model-Theoretic Approach to Regular String Relations.
7. Logics with Aggregate Operators.
8. Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.
9. On Counting Logics and Local Properties.
10. On the Forms of Locality over Finite Models.
11. On the Structure of Queries in Constraint Query Languages.
12. Tree Extension Algebras: Logics, Automata, and Query Languages.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.