Winning Regions of Higher‐Order Pushdown Games - Research

Home > Computer Science home > Research > Profile > Publications > Winning Regions of Higher‐Order Pushdown Games

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

Published

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

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455