By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzi

The Proceedings of the ICM publishes the talks, by invited speakers, at the conference organized by the International Mathematical Union every 4 years. It cover

This book constitutes the refereed proceedings of the 10th International Symposium on Algorithms and Computation, ISAAC'99, held in Chennai, India, in December

Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testi