The Definability of E(alpha).

Edward R. Griffor Dag Normann

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

Keyphrases

fixed point
propositional logic
finite model theory
databases
web pages
image processing
three dimensional
natural language
pairwise
wireless sensor networks
first order logic
complex objects