Complexity of the First-Order Theory of Almost All Finite Structures

Etienne Grandjean

Published in: Inf. Control. (1983)

Keyphrases

theoretical framework
computational model
computational complexity
worst case
decision problems
general theory
real numbers
databases
theoretical foundation
information theory
horn clauses
theory revision
model theoretic
linear temporal logic