Definability with a predicate for a semi-linear set.

Michael Benedikt H. Jerome Keisler

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

Keyphrases

linear constraints
convex hull
database
e learning
database systems
relational databases
special case
probability distribution
user defined
horn clauses