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
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
Efficient pattern matching over event streams
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
| Hi-index | 0.00 |