Finite-model theory—a personal perspective

This publication has 62 references indexed in Scilit:

• Reachability is harder for directed than for undirected finite graphs
  The Journal of Symbolic Logic, 1990
• Datalog vs. first-order logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Theory of database queries
  Published by Association for Computing Machinery (ACM) ,1988
• Monotone versus positive
  Journal of the ACM, 1987
• Nonconvergence, undecidability, and intractability in asymptotic problems
  Annals of Pure and Applied Logic, 1987
• A zero-one law for logic with a fixed-point operator
  Information and Control, 1985
• ∑11-Formulae on finite structures
  Annals of Pure and Applied Logic, 1983
• Structure and complexity of relational queries
  Journal of Computer and System Sciences, 1982
• Relativizing Time, Space, and Time-Space
  SIAM Journal on Computing, 1982
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
  Mathematical Logic Quarterly, 1955