Pushdown reachability with constant treewidth

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

Abstract

Abstract is missing.