A Simple Proof of Toda's Theorem.

Published in: Theory Comput. (2009)

Keyphrases

real time
interactive theorem proving
information systems
database systems
reinforcement learning
data streams