A Saturation Method for Collapsible Pushdown Systems. / Broadbent, Chris; Carayol, Arnaud; Hague, Matthew; Serre, Olivier.

ICALP: International Colloquium on Automata, Languages and Programming. 2012.

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

Published
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
CountryUnited Kingdom
CityWarwick
Period9/07/1213/07/12

Research outputs

ID: 25572928