Solovay's theorem cannot be simplified.

Andrew P. Arana

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

Keyphrases

database systems
database
data sets
multi agent
pattern recognition
wireless sensor networks
von neumann