The Bounded Proper Forcing Axiom.

Martin Goldstern Saharon Shelah

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

Keyphrases

scheduling problem
modal logic
inference rules
real time
computer vision
feature selection
similarity measure
multi agent
cooperative
pairwise
asymptotically optimal