Second‐order and Inductive Definability on Finite Structures

The complexity of relational query languages (Extended Abstract)

Moshe Y. Vardi · 1982 · 1.2K citations

Computing, Computer Science, Algebra +16

Generalized first-order spectra and polynomial-time recognizable sets

Ronald Fagin · Medical Entomology and Zoology · 1974 · 834 citations

Natural Sciences, Computer Science, Mathematics +9

Structure and complexity of relational queries

Ashok K. Chandra, David Harel · Journal of Computer and System Sciences · 1982 · 537 citations

Computing, Computer Science, Information Systems +12

Upper and lower bounds for first order expressibility

Neil Immerman · Journal of Computer and System Sciences · 1982 · 257 citations

Computing, Computer Science, Mathematics +6

Monadic generalized spectra

Ronald Fagin · Mathematical logic quarterly · 1975 · 233 citations