Login / Signup

Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.

Krishnendu ChatterjeeRasmus Ibsen-JensenAndreas PavlogiannisPrateesh Goyal
Published in: POPL (2015)
Keyphrases
  • state machines
  • space complexity
  • data structure
  • search space
  • computational complexity
  • upper bound