Login / Signup

Characterizing PSPACE with pointers.

Isabel Oitavem
Published in: Math. Log. Q. (2008)
Keyphrases
  • temporal logic
  • decision procedures
  • pspace complete
  • mazurkiewicz traces
  • knowledge base
  • metadata
  • multi dimensional
  • np complete