Logical Characterizations of PSPACE.

Published in: CSL (2004)

Keyphrases

logical reasoning
temporal logic
mazurkiewicz traces
acyclic database schemes
information retrieval
special case
logical representation
databases
real world
machine learning
video sequences
np complete