 | Up a level |
Number of items: 1.
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.