Search

Your search keyword '"Libkin, Leonid"' showing total 824 results

Search Constraints

Start Over You searched for: Author "Libkin, Leonid" Remove constraint Author: "Libkin, Leonid"
824 results on '"Libkin, Leonid"'

Search Results

551. Structural Extensions of Display Calculi: A General Recipe

552. Logic and Random Structures

554. A Logical Approach to Constraint Satisfaction

555. Unifying Themes in Finite Model Theory

556. Finite Model Theory and Descriptive Complexity

557. On the Expressive Power of Logics on Finite Models

558. Efficient Computation of Frequent and Top-k Elements in Data Streams

559. Optimal Workload-Based Weighted Wavelet Synopses

560. Rewriting Queries Using Views with Access Patterns Under Integrity Constraints

561. View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness

562. PTIME Queries Revisited

563. Selecting and Using Views to Compute Aggregate Queries : (Extended Abstract)

564. Magic Sets and Their Application to Data Integration

565. On Horn Axiomatizations for Sequential Data

566. First-Order Query Rewriting for Inconsistent Databases

567. Approximately Dominating Representatives

568. Algorithms for the Database Layout Problem

569. Authorization Views and Conditional Query Containment

570. Anonymizing Tables

571. Privacy in Database Publishing

572. Asymptotic Conditional Probabilities for Conjunctive Queries

573. Conjunctive Query Evaluation by Search Tree Revisited

574. Optimal Distributed Declustering Using Replication

575. When Is Nearest Neighbors Indexable?

576. First Order Paths in Ordered Trees

577. Model Checking for Database Theoreticians

578. Nonmaterialized Motion Information in Transport Networks

579. An Abstract Framework for Generating Maximal Answers to Queries

580. Semantics of Data Streams and Operators

581. The Design Space of Type Checkers for XML Transformation Languages

582. Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery : Extended Abstract

583. The Pipelined Set Cover Problem

584. Which XML Schemas Admit 1-Pass Preorder Typing?

586. The DEDALE Prototype

591. Optimization Techniques

598. Topological Queries

Catalog

Books, media, physical & digital resources