The decision problem for the probabilities of higher-order properties
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Listing graphs that satisfy first-order sentences
Journal of Computer and System Sciences
Choiceless Polynominal Time Computation and the Zero-One Law
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
More about recursive structures: descriptive complexity and zero-one laws
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Random graphs and the parity quantifier
Proceedings of the forty-first annual ACM symposium on Theory of computing
The finite model theory toolbox of a database theoretician
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Properties of Almost All Graphs and Generalized Quantifiers
Fundamenta Informaticae - Bridging Logic and Computer Science: to Johann A. Makowsky for his 60th birthday
Database theory: query languages
Algorithms and theory of computation handbook
Yuri, logic, and computer science
Fields of logic and computation
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Random graphs and the parity quantifier
Journal of the ACM (JACM)
| Hi-index | 0.00 |