Pushdown reachability with constant treewidth

Krishnendu Chatterjee, Georg Osang. Pushdown reachability with constant treewidth. Inf. Process. Lett., 122:25-29, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: