Login / Signup

PSPACE ⊆ BQP.

Shibdas Roy
Published in: CoRR (2023)
Keyphrases
  • temporal logic
  • complexity bounds
  • pspace complete
  • mazurkiewicz traces
  • decision procedures
  • data sets
  • upper bound
  • model checking
  • multi agent systems
  • relational databases