15 results on '"Leonid Libkin"'
Search Results
2. Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings.
3. The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space.
4. GPC: A Pattern Calculus for Property Graphs.
5. Querying Incomplete Numerical Data: Between Certain and Possible Answers.
6. PG-Schema: Schemas for Property Graphs.
7. Graph Pattern Matching in GQL and SQL/PGQ.
8. Handling SQL Nulls with Two-Valued Logic.
9. Formal Semantics of the Language Cypher.
10. Data Context Informed Data Wrangling.
11. Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
12. Parameterized Regular Expressions and their Languages
13. Algorithmic metatheorems for decidable LTL model checking over infinite systems
14. First-Order and Temporal Logics for Nested Words
15. Logics for Unranked Trees: An Overview
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.