Definability and Descent.

David Ballard William Boshuck

Published in: J. Symb. Log. (1998)

Keyphrases

fixed point
propositional logic
finite model theory
databases
search engine
high quality
preprocessing
response time
belief revision