On Reductions to Sets that Avoid EXPSPACE.

Vikraman Arvind Johannes Köbler Martin Mundhenk

Published in: Inf. Process. Lett. (1995)

Keyphrases

temporal logic
efficient computation
real time
database
decision making
high level
database systems
preprocessing
lower bound
special case
closed sets
set theoretic