Winning Regions of Higher‐Order Pushdown Games. / Carayol, Arnaud; Hague, Matthew; Meyer, Antoine; Ong, C.-H. Luke; Serre, Olivier.

LICS: Logic in Computer Science. 2008.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Arnaud Carayol
  • Matthew Hague
  • Antoine Meyer
  • C.-H. Luke Ong
  • Olivier Serre
Original languageEnglish
Title of host publicationLICS: Logic in Computer Science
Publication statusPublished - 2008
EventLICS: Logic in Computer Science - Pittsburgh, United States
Duration: 24 Jun 200827 Jun 2008


ConferenceLICS: Logic in Computer Science
CountryUnited States

ID: 25573018