A Third-Order Bounded Arithmetic Theory for PSPACE.

Published in: CSL (2004)

Keyphrases

theoretical framework
information retrieval
neural network
computer vision
image sequences
special case
rough sets
computational model
theoretical foundation
theoretical basis
formal theory