Implicit Characterizations of Pspace.

Published in: Proof Theory in Computer Science (2001)

Keyphrases

acyclic database schemes
decision procedures
computer vision
information systems
feature selection
e learning
metadata
user interface
special case