Winning Regions of Higher-Order Pushdown Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre. Winning Regions of Higher-Order Pushdown Games. In Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. pages 193-204, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Arnaud Carayol' in GoogleThis author has not been identified. Look up 'Matthew Hague' in GoogleThis author has not been identified. Look up 'Antoine Meyer' in GoogleThis author has not been identified. Look up 'C.-H. Luke Ong' in GoogleThis author has not been identified. Look up 'Olivier Serre' in Google

runs on WebDSL