Monotone simulations of non-monotone proofs.

Albert Atserias Nicola Galesi Pavel Pudlák

Published in: J. Comput. Syst. Sci. (2002)

Keyphrases

upper bound
uniform distribution
boolean functions
data sets
real world

anti monotone
real time
natural deduction
lower bound

multi agent
image sequences
decision trees
website

information systems
search engine
artificial intelligence
databases