OXFORD UNIVERSITY COMPUTING LABORATORY

Winning Regions of Higher-Order Pushdown Games

A. Carayol, M. Hague, A. Meyer, C.-H. L. Ong and O. Serre

info

book title

LICS

year

2008

links

BibTeX

related pages

people

Random Image
Random Image
Random Image