Some results about (+) proved by iterated forcing.

Tetsuya Ishiu Paul B. Larson

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

Keyphrases

machine learning
database systems
multi agent systems
relational databases
response time
linear programming