Relational expressive power of constraint query languages
Journal of the ACM (JACM)
Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Logics capturing local properties
ACM Transactions on Computational Logic (TOCL)
Lower bounds for invariant queries in logics with counting
Theoretical Computer Science - Complexity and logic
A Framework for the Investigation of Aggregate Functions in Database Queries
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Counting and Locality over Finite Structures: A Survey
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Logics Capturing Local Properties
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Arithmetic, first-order logic, and counting quantifiers
ACM Transactions on Computational Logic (TOCL)
Deciding equivalences among conjunctive aggregate queries
Journal of the ACM (JACM)
Hi-index | 0.00 |