Interactive Proof Systems and Alternating Time-Space Complexity.

Lance Fortnow Carsten Lund

Published in: STACS (1991)

Keyphrases

space complexity
management system
distributed systems
building blocks
neural network
dynamic programming
worst case
computer systems
information retrieval
artificial intelligence
user interaction
support systems
web environment