Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.

Peter Lammich, Markus Mller-Olm, Alexander Wenner

Browse the full CAV paper archive.