Collapsible Pushdown Parity Games. / Hague, Matthew; Serre, Olivier; Carayol, Arnaud; Ong, C.-H. Luke; Murawski, Andrzej; Broadbent, Chris.

In: ACM Transactions on Computational Logic, Vol. 22, No. 3, 16, 22.07.2021, p. 1.

Research output: Contribution to journalArticlepeer-review

Published

Documents

  • Matthew Hague
  • Olivier Serre
  • Arnaud Carayol
  • C.-H. Luke Ong
  • Andrzej Murawski
  • Chris Broadbent
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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 44716675