Up a level |
Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Pavlogiannis, Andreas and Goyal, Prateesh
(2015)
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.
ACM SIGPLAN NOTICES, 50 (1).
pp. 97-109.
Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goyal, Prateesh, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2019)
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.
ACM Transactions on Programming Languages and Systems, 41 (4).
pp. 1-46.