Login / Signup
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.
Krishnendu Chatterjee
Rasmus Ibsen-Jensen
Andreas Pavlogiannis
Prateesh Goyal
Published in:
POPL (2015)
Keyphrases
</>
state machines
space complexity
data structure
search space
computational complexity
upper bound