Winning Regions of Higher‐Order Pushdown Games

Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre

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

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
Country/TerritoryUnited States

Cite this