Conference paper
On the Number of Quantifiers as a Complexity Measure
Ronald Fagin, Jonathan Lenchner, et al.
MFCS 2022
An elementary proof is presented of an asymptotic estimate for the number (up to isomorphism) of finite relational structures, under a quite general definition of "relational structure". © 1977.
Ronald Fagin, Jonathan Lenchner, et al.
MFCS 2022
Marco A. Casanova, Ronald Fagin, et al.
SIGMOD/PODS 1982
Ronald Fagin, Joseph Y. Halpern, et al.
Artificial Intelligence
Joseph Y. Halpern, Ronald Fagin
Artificial Intelligence