Non-well-foundedness of well-orderable power sets.

Thomas E. Forster John Kenneth Truss

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

Keyphrases

power consumption
data sets
database
machine learning
set theoretic
convex sets
definite clause
mobile robot
long term
multiresolution
relational databases
information technology
computational complexity
clustering algorithm
image processing
computer vision
artificial intelligence
databases