A Saturation Method for Collapsible Pushdown Systems.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Browse the full ICALP paper archive.