Collapsible Pushdown Parity Games

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

Research output: Contribution to journalArticlepeer-review

26 Downloads (Pure)
Original languageEnglish
Article number16
Pages (from-to)1
Number of pages51
JournalACM Transactions on Computational Logic
Volume22
Issue number3
DOIs
Publication statusPublished - 22 Jul 2021

Cite this