A Saturation Method for Collapsible Pushdown Systems

Chris Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationICALP: International Colloquium on Automata, Languages and Programming
Publication statusPublished - 2012
EventICALP: International Colloquium on Automata, Languages and Programming - Warwick, United Kingdom
Duration: 9 Jul 201213 Jul 2012

Conference

ConferenceICALP: International Colloquium on Automata, Languages and Programming
Country/TerritoryUnited Kingdom
CityWarwick
Period9/07/1213/07/12

Cite this