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
Published
| 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
| Conference | LICS: Logic in Computer Science |
|---|---|
| Country/Territory | United States |
| City | Pittsburgh |
| Period | 24/06/08 → 27/06/08 |
Research outputs
Collapsible Pushdown Automata and Recursion Schemes
Research output: Contribution to journal › Article › peer-review
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 17846019