Logics with aggregate operators
Journal of the ACM (JACM)
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
Arithmetic, first-order logic, and counting quantifiers
ACM Transactions on Computational Logic (TOCL)
Some properties of MODmcircuits computing simple functions
CIAC'03 Proceedings of the 5th Italian conference on Algorithms and complexity
Cracks in the defenses: scouting out approaches on circuit lower bounds
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
A uniform lower bound on weights of perceptrons
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Guest column: a casual tour around a circuit complexity bound
ACM SIGACT News
Decomposition of threshold functions into bounded fan-in threshold functions
Information and Computation
Hi-index | 0.00 |