The Uniformity Principle for Sigma-definability.

Margarita V. Korovina Oleg V. Kudinov

Published in: J. Log. Comput. (2009)

Keyphrases

fixed point
propositional logic
database
decision making
real world
data mining
knowledge base
cooperative
relational databases
multiresolution
finite model theory