Collapsible Pushdown Automata and Recursion Schemes. / Hague, M.; Murawski, A. S.; Ong, C.-H. L.; Serre, O.
LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 2008. p. 452-461.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 | |
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 |
Research output: Contribution to journal › Article › peer-review
ID: 17846019