Login / Signup
On the Complexity of Resolution-based Proof Systems.
Sergi Oliva
Published in:
Bull. EATCS (2013)
Keyphrases
</>
retrieval systems
distributed systems
information retrieval
computational complexity
worst case
complex systems
intelligent systems
knowledge based systems
linear logic
neural network
complexity analysis
building blocks
computer systems
information retrieval systems
multiresolution
multi agent
real world