A Saturation Method for Collapsible Pushdown Systems

Chris Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ICALP: International Colloquium on Automata, Languages and Programming
Publication status	Published - 2012
Event	ICALP: International Colloquium on Automata, Languages and Programming - Warwick, United Kingdom Duration: 9 Jul 2012 → 13 Jul 2012

Conference	ICALP: International Colloquium on Automata, Languages and Programming
Country/Territory	United Kingdom
City	Warwick
Period	9/07/12 → 13/07/12

Cite this

@inproceedings{5668d95eed434865ab4b4d5a74a3b00f,

title = "A Saturation Method for Collapsible Pushdown Systems",

author = "Chris Broadbent and Arnaud Carayol and Matthew Hague and Olivier Serre",

year = "2012",

language = "English",

booktitle = "ICALP: International Colloquium on Automata, Languages and Programming",

note = "ICALP: International Colloquium on Automata, Languages and Programming ; Conference date: 09-07-2012 Through 13-07-2012",

}

TY - GEN

T1 - A Saturation Method for Collapsible Pushdown Systems

AU - Broadbent, Chris

AU - Carayol, Arnaud

AU - Hague, Matthew

AU - Serre, Olivier

PY - 2012

Y1 - 2012

M3 - Conference contribution

BT - ICALP: International Colloquium on Automata, Languages and Programming

T2 - ICALP: International Colloquium on Automata, Languages and Programming

Y2 - 9 July 2012 through 13 July 2012

ER -