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 proceedingConference contribution

Published
  • M. Hague
  • A. S. Murawski
  • C.-H. L. Ong
  • O. Serre
Original languageEnglish
Title of host publicationLICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science
PublisherIEEE Computer Society Press
Pages452-461
ISBN (Print)978-0-7695-3183-0
DOIs
Publication statusPublished - 2008
EventLICS: Logic in Computer Science - Pittsburgh, United States
Duration: 24 Jun 200827 Jun 2008

Conference

ConferenceLICS: Logic in Computer Science
CountryUnited States
CityPittsburgh
Period24/06/0827/06/08

Research outputs

This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17846019