Collapsible Pushdown Parity Games

Matthew Hague, Olivier Serre, Arnaud Carayol, C.-H. Luke Ong, Andrzej Murawski, Chris Broadbent

Research output: Contribution to journal › Article › peer-review

36 Downloads (Pure)

Original language	English
Article number	16
Pages (from-to)	1
Number of pages	51
Journal	ACM Transactions on Computational Logic
Volume	22
Issue number	3
DOIs	https://doi.org/10.1145/3457214
Publication status	Published - 22 Jul 2021

Access to Document

@article{e121c464047e4a8787d7d084c2e4361f,

title = "Collapsible Pushdown Parity Games",

author = "Matthew Hague and Olivier Serre and Arnaud Carayol and Ong, {C.-H. Luke} and Andrzej Murawski and Chris Broadbent",

year = "2021",

month = jul,

day = "22",

doi = "10.1145/3457214",

language = "English",

volume = "22",

pages = "1",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - Collapsible Pushdown Parity Games

AU - Hague, Matthew

AU - Serre, Olivier

AU - Carayol, Arnaud

AU - Ong, C.-H. Luke

AU - Murawski, Andrzej

AU - Broadbent, Chris

PY - 2021/7/22

Y1 - 2021/7/22

U2 - 10.1145/3457214

DO - 10.1145/3457214

M3 - Article

SN - 1529-3785

VL - 22

SP - 1

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

IS - 3

M1 - 16

ER -