Decidable Discrete Linear Orders.

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

Keyphrases

data sets
first order logic
continuous variables
finite dimensional
databases
search engine
finite number
convex sets