Relativisation Provides Natural Separations for Resolution-Based Proof Systems.

Stefan S. Dantchev

Published in: CSR (2006)

Keyphrases

building blocks
learning systems
computer systems
decision trees
high resolution
digital libraries
complex systems
logic programs
distributed systems
wireless sensor networks
database
high quality
database systems
decision making
information retrieval
neural network
databases