A Fundamental Dichotomy for definably Complete expansions of Ordered Fields.

Antongiulio Fornasiero Philipp Hieronymi

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

Keyphrases

computer vision
high quality
application fields
linearly ordered
cooperative
real time
multimedia
database systems
probabilistic model
management system
user defined