Geometric axioms for existentially closed Hasse fields.

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

standard model
decision trees
high order
queueing networks
database
real world
computer vision
database systems
active contours
geometric features
axiomatic characterization