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

Standard

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

Harvard

Broadbent, C, Carayol, A, Hague, M & Serre, O 2012, A Saturation Method for Collapsible Pushdown Systems. in ICALP: International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages and Programming, Warwick, United Kingdom, 9/07/12.

APA

Broadbent, C., Carayol, A., Hague, M., & Serre, O. (2012). A Saturation Method for Collapsible Pushdown Systems. In ICALP: International Colloquium on Automata, Languages and Programming

Vancouver

Broadbent C, Carayol A, Hague M, Serre O. A Saturation Method for Collapsible Pushdown Systems. In ICALP: International Colloquium on Automata, Languages and Programming. 2012

Author

Broadbent, Chris ; Carayol, Arnaud ; Hague, Matthew ; Serre, Olivier. / A Saturation Method for Collapsible Pushdown Systems. ICALP: International Colloquium on Automata, Languages and Programming. 2012.

BibTeX

@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",

}

RIS

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 -