Complete Determinacy and Subsystems of Second Order Arithmetic.

Published in: CiE (2008)

Keyphrases

databases
higher order
data sets
video sequences
information technology
database
real time
decision making
knowledge base
image processing
bayesian networks
expert systems
special case
integrity constraints
fourth order
finite sets