0-1 laws and decision problems for fragments of second-order logic

Languages for relational databases over interpreted structures

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Existential second-order logic over strings

Journal of the ACM (JACM)

Relational queries over interpreted structures

Journal of the ACM (JACM)

0-1 Laws for Fragments of Existential Second-Order Logic: A Survey

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science

More about recursive structures: descriptive complexity and zero-one laws

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

On sufficient conditions for unsatisfiability of random formulas

Journal of the ACM (JACM)

Random graphs and the parity quantifier

Proceedings of the forty-first annual ACM symposium on Theory of computing

Asymptotic conditional probability in modal logic: a probabilistic reconstruction of nonmonotonic logic

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Properties of Almost All Graphs and Generalized Quantifiers

Fundamenta Informaticae - Bridging Logic and Computer Science: to Johann A. Makowsky for his 60th birthday

Relational properties expressible with one universal quantifier are testable

SAGA'09 Proceedings of the 5th international conference on Stochastic algorithms: foundations and applications

Testable and untestable classes of first-order formulae

Journal of Computer and System Sciences

A Note On Asymptotic Probabilities Of Existential Second-Order Minimal Classes - The Last Step

Fundamenta Informaticae

Random graphs and the parity quantifier

Journal of the ACM (JACM)