Accéder directement au contenu

Olivier Serre

1
Documents
Identifiants chercheurs

Présentation

Publications

"antoine-meyer"
Image document

Winning regions of higher-order pushdown games

 Arnaud Carayol , Matthew Hague , Antoine Meyer , Luke Ong , Olivier Serre
Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, United States. pp.193-204
Communication dans un congrès hal-00345939v1