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

Complexity of the First-Order Theory of Almost All Finite Structures Etienne Grandjean 180-204 Information and Control May/June 1983 57 2/3 db/journals/iandc/iandc57.html#Grandjean83