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 proceedingConference contribution

Published

Standard

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 proceedingConference contribution

Harvard

Carayol, A, Hague, M, Meyer, A, Ong, C-HL & Serre, O 2008, Winning Regions of Higher‐Order Pushdown Games. in LICS: Logic in Computer Science. LICS: Logic in Computer Science, Pittsburgh, United States, 24/06/08.

APA

Carayol, A., Hague, M., Meyer, A., Ong, C-H. L., & Serre, O. (2008). Winning Regions of Higher‐Order Pushdown Games. In LICS: Logic in Computer Science

Vancouver

Carayol A, Hague M, Meyer A, Ong C-HL, Serre O. Winning Regions of Higher‐Order Pushdown Games. In LICS: Logic in Computer Science. 2008

Author

Carayol, Arnaud ; Hague, Matthew ; Meyer, Antoine ; Ong, C.-H. Luke ; Serre, Olivier. / Winning Regions of Higher‐Order Pushdown Games. LICS: Logic in Computer Science. 2008.

BibTeX

@inproceedings{13f3419a4ceb44c7ba537a27906e5b7b,
title = "Winning Regions of Higher‐Order Pushdown Games",
author = "Arnaud Carayol and Matthew Hague and Antoine Meyer and Ong, {C.-H. Luke} and Olivier Serre",
year = "2008",
language = "English",
booktitle = "LICS: Logic in Computer Science",
note = "LICS: Logic in Computer Science ; Conference date: 24-06-2008 Through 27-06-2008",

}

RIS

TY - GEN

T1 - Winning Regions of Higher‐Order Pushdown Games

AU - Carayol, Arnaud

AU - Hague, Matthew

AU - Meyer, Antoine

AU - Ong, C.-H. Luke

AU - Serre, Olivier

PY - 2008

Y1 - 2008

M3 - Conference contribution

BT - LICS: Logic in Computer Science

T2 - LICS: Logic in Computer Science

Y2 - 24 June 2008 through 27 June 2008

ER -