Search results for: Leonid Libkin
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 4. Automata > 198-213
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 2. Knowledge Representation 1 > 97-112
Lecture Notes in Computer Science > Research Issues in Structured and Semistructured Database Programming > Querying and Query Optimisation > 17-30
Lecture Notes in Computer Science > STACS 98 > 183-193
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 248-262