Non-Uniform Proof System: A New Framework to Describe Non-Uniform and Probabalistic Complexity Classes.

Jürgen Kämper

Published in: FSTTCS (1988)

Keyphrases

search algorithm
theoretical framework
main contribution
real time
databases
information systems
conceptual framework
space complexity
complexity analysis
complexity measures