Collapsible Pushdown Automata and Recursion Schemes

M. Hague, A. S. Murawski, C.-H. L. Ong, O. Serre

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

Original language	English
Title of host publication	LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science
Publisher	IEEE Computer Society Press
Pages	452-461
ISBN (Print)	978-0-7695-3183-0
DOIs	https://doi.org/10.1109/LICS.2008.34
Publication status	Published - 2008
Event	LICS: Logic in Computer Science - Pittsburgh, United States Duration: 24 Jun 2008 → 27 Jun 2008

Conference	LICS: Logic in Computer Science
Country/Territory	United States
City	Pittsburgh
Period	24/06/08 → 27/06/08

Access to Document

@inproceedings{5de058782b5e4d9d9231154b1da802c0,

title = "Collapsible Pushdown Automata and Recursion Schemes",

author = "M. Hague and Murawski, {A. S.} and Ong, {C.-H. L.} and O. Serre",

year = "2008",

doi = "10.1109/LICS.2008.34",

language = "English",

isbn = "978-0-7695-3183-0",

pages = "452--461",

booktitle = "LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science",

publisher = "IEEE Computer Society Press",

note = "LICS: Logic in Computer Science ; Conference date: 24-06-2008 Through 27-06-2008",

}

TY - GEN

T1 - Collapsible Pushdown Automata and Recursion Schemes

AU - Hague, M.

AU - Murawski, A. S.

AU - Ong, C.-H. L.

AU - Serre, O.

PY - 2008

Y1 - 2008

U2 - 10.1109/LICS.2008.34

DO - 10.1109/LICS.2008.34

M3 - Conference contribution

SN - 978-0-7695-3183-0

SP - 452

EP - 461

BT - LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science

PB - IEEE Computer Society Press

T2 - LICS: Logic in Computer Science

Y2 - 24 June 2008 through 27 June 2008

ER -