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 journal › Article › peer-review
Published
Documents
- Accepted Manuscript
Accepted author manuscript, 682 KB, PDF document
Licence: Not specified
| 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 | |
| Publication status | Published - 22 Jul 2021 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 44716675