An Implicit Characterization of PSPACE

Marco Gaboardi Jean-Yves Marion Simona Ronchi Della Rocca

Published in: CoRR (2010)

Keyphrases

database
information systems
temporal logic
computer vision
website
search algorithm
mazurkiewicz traces