A logical account of pspace.

Marco Gaboardi Jean-Yves Marion Simona Ronchi Della Rocca

Published in: POPL (2008)

Keyphrases

temporal logic
digital libraries
special case
probabilistic logic
data mining
decision making
e learning
logical framework
logical properties