Partition relations on a plain product order type.

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

Keyphrases

real time
databases
case study
mobile robot
data sets
machine learning
decision trees
data model
software engineering
higher order