Nondeterministic Instance Complexity and Proof Systems with Advice.

Olaf Beyersdorff Johannes Köbler Sebastian Müller

Published in: LATA (2009)

Keyphrases

database
real time
artificial intelligence
natural language
computational complexity
management system
theorem prover
databases
metadata
user interface
state space
knowledge based systems
building blocks
complex systems
theorem proving