Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Logics capturing local properties
ACM Transactions on Computational Logic (TOCL)
Logics with aggregate operators
Journal of the ACM (JACM)
Unary Quantifiers on Finite Models
Journal of Logic, Language and Information
Definability of Polyadic Lifts of Generalized Quantifiers
Journal of Logic, Language and Information
Lower bounds for invariant queries in logics with counting
Theoretical Computer Science - Complexity and logic
ICDT '01 Proceedings of the 8th International Conference on Database Theory
On Lk(Q) Types and Boundedness of IFP(Q) on Finite Structures
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Relational Databases and Homogeneity in Logics with Counting
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Generalized Quantifiers, an Introduction
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
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
Theoretical Computer Science - Database theory
Locally consistent transformations and query answering in data exchange
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational databases and homogeneity in logics with counting
Acta Cybernetica
Affine systems of equations and counting infinitary logic
Theoretical Computer Science
CFI Construction and Balanced Graphs
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Choiceless Polynomial Time, Counting and the Cai--Fürer--Immerman Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Pebble games with algebraic rules
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
The power of counting logics on restricted classes of finite structures
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Affine systems of equations and counting infinitary logic
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |