A monotonicity theorem for dp-minimal densely ordered groups.

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

Keyphrases

dynamic programming
computer vision
database
real time
databases
machine learning
knowledge base
three dimensional
hidden markov models
cluster analysis
partially ordered
von neumann
group formation
group membership
interactive theorem proving