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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | LICS: Logic in Computer Science |
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 | United States |
City | Pittsburgh |
Period | 24/06/08 → 27/06/08 |
ID: 25573018