The Closed Fragment of IL is PSPACE Hard.

Félix Bou Joost J. Joosten

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

temporal logic
data sets
queueing networks
pspace complete
information retrieval
web services
decision trees
image segmentation
computational complexity
special case