Activities per year
- 2 results
Search results
-
Reasoning About Pattern-Based XML Queries
Leonid Libkin (Member)
Jun 2013Activity: Academic talk or presentation types › Invited talk
-
Finite validity via model checking: computing certain answers
Leonid Libkin (Speaker)
2013Activity: Academic talk or presentation types › Invited talk